WIP: Feature/monitor app
Closes #3099.
GitLab upgrade completed. Current version is 19.1.8
https://docs.gitlab.com/releases/19/gitlab-19-0-released/
https://docs.gitlab.com/releases/19/gitlab-19-1-released/
Following a security incident, internet access to Gitlab is temporarily closed. We'll keep you posted on: https://doc-si.inria.fr/spaces/SU/blog/2026/09/15/324274027/IMPORTANT+Fermeture+temporaire+des+acc%C3%A8s+depuis+Internet+%C3%A0+Gitlab
Closes #3099.