enabled an automatic merge when the pipeline for 4d494be7 succeeds
mentioned in commit e7bd6f70
merged