enabled an automatic merge when the pipeline for b1871e34 succeeds
mentioned in commit 813e1e2d
merged