enabled an automatic merge when the pipeline for da037d4c succeeds
mentioned in commit aa51e454
merged