enabled an automatic merge when the pipeline for b0bf9211 succeeds
mentioned in commit 4121ed5f
merged