GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
@steff and @vrouvrea (and of course @vicente.mataix if you wish but this MR follows remarks from Laurent and Vincent) if you can have a look at this very limited MR. Thanks!