enabled an automatic merge when the pipeline for b9eeb881 succeeds
mentioned in commit 8568ab3c
merged