git merge origin/main :On utilise git merge origin/main dans ce TP pour résoudre un conflit lorsque Bob a des modifications locales et qu'Alice a déjà poussé des changements sur le même fichier.
Git pull:on a vu cette commande pour pouvoir mettre a jour quand un autre utilisateur a modifier le fichier et qui a push.
git add : On utilise git add pour dire a git que ce fichier est prêt a etre enregistrer
Git push : dans ce tp on a utiliser git push pour envoyer les modification vers le dépôt a distance et du coup mon binôme pourra les récupérer en faisant un git push
git commit -m : on utilise git commit -m pour faire un commentaire des actions que nous avons fait
git status :il nous a permis de vérifier les fichier ajouté ou modifier ,savoir si il y a un conflit ,savoir si la branche est mise a jour par rapport au dépôt a distance