enabled an automatic merge when the pipeline for 810134fe succeeds
merged
mentioned in commit 1305c15d