maj git

2 years ago · 623733ec1e
parent fa3263cc0e
commit 623733ec1e
1 changed files with 1 additions and 0 deletions
--- a/docs/divers/git/git.md
+++ b/docs/divers/git/git.md
@ -148,6 +148,7 @@ git push origin main # ou le nom de la branche
 ## Autres commandes utiles

 - Récupérer localement les changements du dépôt distant:
+
 ```bash
 git pull
 ```