enabled an automatic merge when the pipeline for 3ef743c3 succeeds
merged
mentioned in commit e32d0a11