enabled an automatic merge when the pipeline for ef9accc3 succeeds
mentioned in commit 99e24415
merged