enabled an automatic merge when the pipeline for 9ff48b88 succeeds
mentioned in commit 3963f240
merged