Git push options [Vincent]
jeudi 2 juillet 2026
« Git depuis sa version 2.18 (pour bénéficier de toutes les fonctionnalités) permet d'ajouter des options passées lors d'un 'git push', telles que ne pas lancer la CI, définir des variables pour la CI, créer automatiquement une merge request vers la branche main et bien d'autres. Ces fonctionnalités sont disponibles pour GitLab (gitlab.com, gitlab.inria.fr, ...), mais ne sont pas prises en compte sur GitHub. »
jeudi 26 juin 2025
« Des bonnes pratiques et astuces pour configurer un GitLab-runner sur Windows Server. »
jeudi 3 avril 2025
« A partir de la date butoir, les docker pull seront limités à 10 par heure et 100 par heure si on est authentifié, avec des impacts sur tous les GitLab-CI (y compris celui de l'Inria). Voici quelques solutions alternatives proposées par GitLab. »
jeudi 17 octobre 2024
« Un tutoriel pour conteneuriser avec docker une compilation windows et gitlab-ci. »
jeudi 18 novembre 2021
« Un exemple de déploiement continu avec gitlab-ci sur un serveur SSH en utilisant la variable d'environnement SSHPASS et la commande sshpass -e »
jeudi 10 décembre 2020
« Cet article peut aider à choisir entre Jenkins et Gitlab-CI pour l'intégration continue de vos projets. »
jeudi 21 février 2019
« Un très bref post de blog qui donne une solution quand un runner de Gitlab CI ne s'active pas correctement (et qui a résolu pour moi le cas de machines sur le réseau interne Inria Saclay). »
DevDays 2018 [Sébastien]
jeudi 4 octobre 2018
« Le centre Inria Bordeaux a organisé deux jours consacrés au développement logiciel, avec notamment des tutoriaux d'outils tels que gitlab-ci, SonarQube ou CMake. Les présentations sont disponibles au lien indiqué. »