enabled an automatic merge when the pipeline for 442ae00e succeeds
mentioned in commit ce764402
merged