enabled an automatic merge when the pipeline for ed858d4c succeeds
mentioned in commit d4e09100
merged