enabled an automatic merge when the pipeline for e6714dc0 succeeds
mentioned in commit 6fd0ad04
merged