enabled an automatic merge when the pipeline for 12057de3 succeeds
merged
mentioned in commit 2aac932a