enabled an automatic merge when the pipeline for d31b1ad8 succeeds
mentioned in commit 88f93dd7
merged