From c218f58625fc6551fe85ab5de2e304888626d8ca Mon Sep 17 00:00:00 2001
From: Axel Legay <axel.legay@uclouvain.be>
Date: Tue, 10 Mar 2020 17:35:27 +0100
Subject: [PATCH] Update git+jenkins.txt

---
 git+jenkins.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git+jenkins.txt b/git+jenkins.txt
index 7bf9f07..f4fffe1 100644
--- a/git+jenkins.txt
+++ b/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
-- 
GitLab