enabled an automatic merge when the pipeline for 33e8de51 succeeds
mentioned in commit 6fc8e38e
merged