enabled an automatic merge when the pipeline for 0daf593c succeeds
mentioned in commit 70e0c7e7
merged