diff --git a/compte_rendu.txt b/compte_rendu.txt new file mode 100755 index 0000000000000000000000000000000000000000..f72cd2662aa651acd60d593eb1063b9da97637fc --- /dev/null +++ b/compte_rendu.txt @@ -0,0 +1,14 @@ +Robin ahmet +MALLINGER BASBUNAR +G3.1 + TP1 + + +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