See bob.pad.base!43 (comment 31903)
enabled an automatic merge when the pipeline for b50c7650 succeeds
mentioned in commit 0ef7907e
merged