@@ -15,3 +15,7 @@ On peut vérifier que le commit a bien été effectué et que le dépot local es
...
@@ -15,3 +15,7 @@ On peut vérifier que le commit a bien été effectué et que le dépot local es
git remote add origin : ça permet de connecter le git local vers le dépôt sur gitlab (ou autres dépôts distants)
git remote add origin : ça permet de connecter le git local vers le dépôt sur gitlab (ou autres dépôts distants)
Pour vérifier que le dépôt local est bien lié au dépôt distant, on utilise git remote -v
Pour vérifier que le dépôt local est bien lié au dépôt distant, on utilise git remote -v
git push : on met à jour le dépôt distant à partir des modifications locales
On peut vérifier que le dépôt distant et le dépôt local sont bien synchronisés en faisant à nouveau git status : il y a marqué que la branche est à jour