enabled an automatic merge when the pipeline for c73b5ac1 succeeds
mentioned in commit c48e9578
merged