enabled an automatic merge when the pipeline for 7c939c8f succeeds
mentioned in commit 8d9c1c21
merged