GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Caution: we set no default value, so the g5k configuration (in g5k-platform-production) needs to be updated!
Depends on https://gitlab.inria.fr/grid5000/g5k-platform-production/-/merge_requests/54