enabled an automatic merge when the pipeline for 0c5c8462 succeeds
mentioned in commit e01ea2d8
merged