enabled an automatic merge when the pipeline for 0c00ab1e succeeds
mentioned in commit 1bc9cdd5
merged