enabled an automatic merge when the pipeline for c5812bf5 succeeds
mentioned in commit 2ec01bfe
merged