La mise à jour du service Gitlab est terminée. Merci aux collègues du service de production de la DSI qui ont réalisé cette opération qui outre les aspects évolution du logiciel nous a permis de faire le nécessaire face à des failles de sécurité.
Les principales releases notes concernant cette montée de version sont disponibles ici :
https://about.gitlab.com/releases/2023/01/22/gitlab-15-8-released/
https://about.gitlab.com/releases/2022/12/22/gitlab-15-7-released/
https://about.gitlab.com/releases/2022/11/22/gitlab-15-6-released/
La pagination est maintenant fonctionnelle (#2037 (closed)), merci @RyanHerb.
En terme de design, je mettrais plutôt la pagination en bas à droite (voire en bas centré, à la Google) que en haut à droite. Je savais que c'était paginé et j'ai quand même mis du temps à trouver. Alors j'imagine nos utilisateurs habitués à voir tous leurs fichiers d'un coup, ils vont penser qu'ils ont été supprimés.
Peut-être mettre des icônes : icon-right et icon-left ?
cc @magiraud
