enabled an automatic merge when the pipeline for 934735c5 succeeds
mentioned in commit a6a3a924
merged