enabled an automatic merge when the pipeline for 7e105fb8 succeeds
mentioned in commit 3f967b3c
merged