enabled an automatic merge when the pipeline for 75c4dd0f succeeds
mentioned in commit 2680fdad
merged