enabled an automatic merge when the pipeline for 0eb32422 succeeds
mentioned in commit 7043212b
merged