enabled an automatic merge when the pipeline for 7dca34e1 succeeds
mentioned in commit 3067c192
merged