Polaris server installation
This merge request describe the newly installed Polaris server at Lyon. This server will become the new NFS of Lyon.
Also, this merge request remove retired servers, such as Mizar, Nebula and cyrrus.
GitLab upgrade completed. Current version is 17.8.1: https://about.gitlab.com/releases/2025/01/16/gitlab-17-8-released/
Git-LFS is now available on our GitLab instance.
Please note that the quota check is now in blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab
This merge request describe the newly installed Polaris server at Lyon. This server will become the new NFS of Lyon.
Also, this merge request remove retired servers, such as Mizar, Nebula and cyrrus.