enabled an automatic merge when the pipeline for efbadc80 succeeds
mentioned in commit 0e847f8e
merged