enabled an automatic merge when the pipeline for c07f555f succeeds
mentioned in commit 8964a2f1
merged