Admin message

Une opération d’augmentation d’espace disque des dépôts git sera réalisé ce jeudi 6 Février 2025 à partir de 13h45. Une légère perturbation à l’accès aux dépôt est à prévoir le temps que le service redémarre. Merci de votre compréhension