enabled an automatic merge when the pipeline for 12940c23 succeeds
mentioned in commit d8fc8f0d
merged