enabled an automatic merge when the pipeline for 9857435d succeeds
canceled the automatic merge
merged
mentioned in commit e1c9f020