enabled an automatic merge when the pipeline for 503ae602 succeeds
mentioned in commit e0ed5e44
merged