maj git

docs/divers/git/git.md

@@ -63,6 +63,17 @@ git branch nom-nouvelle-branche
 git push origin nom-nouvelle-branche
 ```
 
+- Effacer une branch locale:
+
+```bash
+git branch -d branche-a-effacer
+```
+
+- Effacer une branche du dépôt distant
+```bash
+git push origin --delete branche-a-effacer
+```
+
 ## Workflow
 
 ### Cloner un dépôt distant en local, l'éditer puis pousser les changement
@@ -135,13 +146,20 @@ git push origin main # ou le nom de la branche
 
 ## Autres commandes utiles
 
-- Savoir sur quelle branche on se trouve:
+- Récupérer localement les changements du dépôt distant:
+```bash
+git pull
+```
+
+:warning: Si des changements ont été effectués localement depuis le git clone ou depuis le dernier git pull, git vous avertira qu'il faut remiser les changements (annuler) ou les valider (pousser les changements vers le dépôt distant) pour ne pas écraser ceux-ci avec la version du code se trouvant sur le dépôt distant.
+
+- Savoir sur quelle branche on se trouve et les branches disponibles localement:
 
 ```bash
 git branch 
 ```
 
-- Créer une nouvelle branche:
+- Créer une nouvelle branche et basculer vers la nouvelle branche:
 
 ```bash
 git checkout -b nom-nouvelle-branche