enabled an automatic merge when the pipeline for 882140b3 succeeds
merged
mentioned in commit 3d631147