enabled an automatic merge when the pipeline for 10d1718a succeeds
mentioned in commit 420d487a
merged