enabled an automatic merge when the pipeline for 5940d2b6 succeeds
mentioned in commit 6cc82dd5
merged