enabled an automatic merge when the pipeline for 21c76539 succeeds
mentioned in commit b57d2c8f
merged