enabled an automatic merge when the pipeline for 7e5d6509 succeeds
mentioned in commit 9f313b0a
merged