PARTIE 2 contribuer

pour contribuer à un projet il y a deux manières de faire:
- forker le dépôt et proposer une contribution avec un pull request (partie 3)
- obtenir la permission de faire des commits directement

ajouter un développeur sur gitlab (on n'était pas sur github avant?)
- dans settings => collaborators => add people
- sélectionner un rôle, "maintainer" permet de push, "dev" non
- ajouter un dev dans l'interface web avec son e-mail
- vérifier

le nouveau dévelopeur va télécharger le dépôt et vérifier qu'il a bien la dernière version
git clone <url.git>
git pull    devrait indiquer "Already up to date."

git pull est en fait la combinaison des commandes fetch et merge
(voir partie 3)

changer des trucs, ajouter un fichier, commiter et envoyer
git add "nana"
gt commit -m "description"
git push