See bob.admin#2 (closed)
enabled an automatic merge when the pipeline for 7b8564e1 succeeds
merged
mentioned in commit 2010113e