enabled an automatic merge when the pipeline for 3defbe27 succeeds
mentioned in commit 3514b7be
merged