enabled an automatic merge when the pipeline for 09c5007c succeeds
mentioned in commit 070fe51a
merged