enabled an automatic merge when the pipeline for 42873e22 succeeds
mentioned in commit 5dfd24e8
merged