enabled an automatic merge when the pipeline for 3512a26b succeeds
mentioned in commit 14b847e0
merged