enabled an automatic merge when the pipeline for 1572e795 succeeds
mentioned in commit 95e780f7
merged