enabled an automatic merge when the pipeline for 42800c24 succeeds
mentioned in commit 7a39874a
merged