enabled an automatic merge when the pipeline for 4936ea59 succeeds
mentioned in commit 2ccc03f7
merged