enabled an automatic merge when the pipeline for 0c9ef679 succeeds
mentioned in commit 9beb3042
merged