enabled an automatic merge when the pipeline for b94df3fa succeeds
mentioned in commit 01b3940a
merged