« 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. »