@@ -157,3 +157,37 @@ Synchronisation avec le dépôt distant :
git push
TP 1: Git
Clonage d'un dépôt distant
git clone <URL> : Crée une copie locale d'un dépôt distant, vous permettant de travailler sur le projet en local.
Collaboration et gestion des conflits
git pull : Met à jour votre dépôt local en récupérant les dernières modifications effectuées sur le dépôt distant.
git merge <branche> : Fusionne une branche distante avec votre branche locale. Cette commande est utilisée pour résoudre les conflits après avoir effectué un git pull.
git merge --abort : Annule une tentative de fusion si un conflit survient, permettant de revenir à l'état précédent.
git add <fichier> : Après avoir résolu un conflit, cette commande permet d’ajouter le fichier modifié à l'index pour indiquer que le conflit a été résolu.
git commit -a -m "<message>" : Enregistre vos modifications, y compris la résolution des conflits, dans l'historique des commits.
git log : Affiche l'historique des commits, permettant de voir les changements précédemment effectués.
Gestion des erreurs
Problème de divergence :
Si des modifications ont été apportées sur le dépôt distant alors que vous travailliez en local, il est nécessaire de faire un git pull avant de pousser vos changements locaux :
git pull
git push
Conflit lors d'un git pull :
Si vous avez des modifications locales non commitées, vous devez les enregistrer avant de procéder à un git pull :
git commit -a -m "Sauvegarde avant pull"
git pull
Règles importantes :
Règle fondamentale :
Toujours faire un git pull avant de faire un git push.
Toujours commiter vos modifications avant de faire un git pull.