enabled an automatic merge when the pipeline for 9878fa8b succeeds
mentioned in commit 676d403e
merged