enabled an automatic merge when the pipeline for f84fb7c6 succeeds
mentioned in commit 31d37523
merged