enabled an automatic merge when the pipeline for ef3de1e2 succeeds
mentioned in commit 997e57c2
merged