Home.md

@@ -142,7 +142,7 @@ Il est possible de partager son dépôt en lecture sans passer par un serveur gi
 
 ### Collaborer
 * en sous-groupes (2-3 personnes), élire un dépôt central du projet *waf-c-example* sur GitHub ou GitLab
-* le propriétaire du dépôt central ajoute ses collaborateurs (*Settings > Collaborators*)
+* le propriétaire du dépôt central ajoute ses collaborateurs (*Settings > Collaborators* ou *Members*)
 * les membres (sauf le propriétaire) clonent le projet sur leur machine, en dehors du projet existant (`git clone`)
 * chaque membre ajoute en local un fichier `README.md` [(1)](http://daringfireball.net/projects/markdown/syntax) qu'il modifie
     chaque membre enregistre, et pousse ses modifications (`git push`)
@@ -150,9 +150,9 @@ Il est possible de partager son dépôt en lecture sans passer par un serveur gi
 
 ### Pull Requests — the GitHub ou Merge Requests - the GitLab way
 * en sous-groupes (2-3 personnes), élire un nouveau dépôt central du projet *waf-c-example* sur GitHub ou GitLab
-* le propriétaire supprime si nécessaire ses anciens collaborateurs (*Settings > Collaborators*)
+* le propriétaire supprime si nécessaire ses anciens collaborateurs (*Settings > Collaborators* ou *Members*)
 * les membres (sauf le propriétaire) *forkent* le projet (bouton *Fork*) puis le clonent en local
 * les membres qui ont *forké* modifient le fichier `README.md`, enregistrent, et poussent leurs modifications (vers leurs dépôts respectifs)
-* les membres qui ont *forké* effectuent une *Pull Request* (bouton *Pull Requests*, puis *New pull request*)
+* les membres qui ont *forké* effectuent sous GitHub une *Pull Request* (bouton *Pull Requests*, puis *New pull request*), ou sous GiltLab une *Merge Request*.
 * le propriétaire du dépôt central accepte ou refuse les *Pull Requests*