enabled an automatic merge when the pipeline for 5aed1f14 succeeds
mentioned in commit 00537d81
merged