From 0fd76d7637dd620a434f8c63e18b2d1711f07196 Mon Sep 17 00:00:00 2001
From: PancrelBarlagne Ludji <ludji.pancrel-barlagne8@etu.univ-lorraine.fr>
Date: Thu, 10 Mar 2022 11:47:57 +0000
Subject: [PATCH] Replace compte_rendu.txt

---
 compte_rendu.txt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/compte_rendu.txt b/compte_rendu.txt
index c440ba8..093d055 100644
--- a/compte_rendu.txt
+++ b/compte_rendu.txt
@@ -4,12 +4,14 @@ git init: permet de se lier au dépot local
 git log: permet de voir l'historique de notre dépot
 git status: permet de voir l'état de notre dépôt
 git commit -m: permet d'ajouter un commit
-git add permet: d'ajouter la modification
+git add: permet d'ajouter les modification apporter a un commit 
 git clone: permet de clonner un dépot public
 git push -u origin master: sert a transferet les commit vers la boite de dépot public
 git commit: sert a valider les modification apporter au commit
 git config --global user.name: sert a se connecter a son depot gitlab depuis le terminal de commande
  git pull: sert a récupérer les modification faite par un autre membre travaillant sur le depot local
- git remote add origin <url>:  sert a fairele lien entre le dépot distant avec une url précise 
+ git remote add origin <url>:  sert a faire le lien entre le dépot distant avec une url précise 
  git tag - a (nom fichier) -m 'tag qu'on veut donner':  sert a etiqueter un commit grace a un tag
- git tag -d sert a supprimer un tag
+ git tag -d sert a supprimer un tag si on le souhaite
+ git show : sert afficher des détails suplémentaire sur le git 
+ git commit -a -m : permet d'ajouter un message au commit quant on le modifi se qui peut etre utile quand nous travaillons a plusieur et que des modification son faite 
-- 
GitLab