Update git+jenkins.txt

git+jenkins.txt

@@ -11,7 +11,7 @@ Le document décrit ensuite comment établir le lien avec Jenkins.
    - Préciser un mot de passe dans l'onglet Password
    - Ajouter une clé SSH publique dans l'onglet SSH keys
 1. Créer un groupe
-1. Dans l'onglet Members, rajouter l'utilisateur ``jenkins_ingi`` avec au moins le rôle Developer, ainsi que les autres membres du groupes.
+1. Dans l'onglet Members, rajouter l'utilisateur ``jenkins_ingi`` avec au moins le rôle Maintainer, ainsi que les autres membres du groupes.
 1. Dans la vue de Group, cliquer sur New project. Choisir un nom de projet et l'initialiser avec un README.
 1. Dans la vue du projet, un item indique _Auto DevOps enabled_. Il faut le désactiver.
    Pour cela, cliquer sur l'item ou aller dans l'onglet Settings => CI/CD. A coté de Auto DevOps, cliquer sur Expand et décocher