enabled an automatic merge when the pipeline for 563c0211 succeeds
mentioned in commit 5e401958
merged