Gitlab has been updated. More info here.
approved this merge request
enabled an automatic merge when the pipeline for 21c10774 succeeds
merged
mentioned in commit c9450863