10) Pour vérifier, on fait git log et on vérifie que le commit est présent et pour vérfier que c'est à jour, on refait git commit et on obtient le message comme quoi c'est à jour.
Mise en place dépôt distant:
5) Pour vérifier, il faut utiliser git remote -v, cette commande permet de voir où se situe le dépôt distant.
7) Pour vérifier, on utilise git status et on vérifie si la phrase : "Votre branche est à jour avec 'origin/main'.".
TP :
git clone : Nous a permis de copier un dossier de GitLab afin de le récupérer sur nos machines.
