enabled an automatic merge when the pipeline for 8c0b5b23 succeeds
approved this merge request
mentioned in commit c82f20bf
merged