enabled an automatic merge when the pipeline for 9f20eed6 succeeds
merged
mentioned in commit e7eee1ca