enabled an automatic merge when the pipeline for 7788e7bb succeeds
mentioned in commit 2237fdf1
merged