merge(dev->master): milestone
Changing existing pages pipeline to create directory per branch in public. Adding gitlab environments to track on branch deletion and remove the directory of deleted branch in public.
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
La mise à jour de sécurité sans préavis est terminée. Désolé pour cette interruption de service de quelques minutes.
Changing existing pages pipeline to create directory per branch in public. Adding gitlab environments to track on branch deletion and remove the directory of deleted branch in public.