enabled an automatic merge when the pipeline for 18a0b79e succeeds
mentioned in commit b907c1a1
merged