enabled an automatic merge when the pipeline for 8b627313 succeeds
mentioned in commit e640da6f
merged