enabled an automatic merge when the pipeline for 4f8499e7 succeeds
mentioned in commit 4e765205
merged