@@ -95,6 +95,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* ou *Members* avec le statut Développeur) ([En savoir plus sur les permissions](https://docs.gitlab.com/ee/user/permissions.html))
* le propriétaire du dépôt central configure la branche master pour qu'elle puisse recevoir des `push` de la part d'un Développeur (*Settings > Repository > Protected Branches > Expand*) ([En savoir plus sur les branches protégées](https://docs.gitlab.com/ee/user/project/protected_branches.html))
* 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`)
