enabled an automatic merge when the pipeline for 5af37bc5 succeeds
mentioned in commit 69c11c17
merged