enabled an automatic merge when the pipeline for c7a0e789 succeeds
merged
mentioned in commit dd441567