@osander: Commits 2,3 and 4 of !48 (merged)
enabled an automatic merge when the pipeline for 777134c0 succeeds
merged
mentioned in commit fc0d3f87