See relevant issue at bob/bob.nightlies#49.
enabled an automatic merge when the pipeline for 9b1b236a succeeds
merged
mentioned in commit 3d6f8eed