@@ -13,3 +13,6 @@ git pull : permet de récupérer les modifications faites par les autres dévelo
git push : Envoi des modifications modifications.
git merge : permet de fusionner deux versions d'un fichier pour régler un conflit, notamment utilisé quand Alice va modifier un fichier, Bob va le pull, une deuxième modification sera faite par Alice mais Bob ne l'aura pas pull ce
