From 6257cae5a2e75269d3ea7299379e7581aed72ee8 Mon Sep 17 00:00:00 2001 From: BOGUET <thomas.boguet1@etu.univ-lorraine.fr> Date: Sun, 9 Mar 2025 16:33:54 +0100 Subject: [PATCH] Rendu final du compte-rendu TP --- qualdev/compte_rendu.txt | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/qualdev/compte_rendu.txt b/qualdev/compte_rendu.txt index 1aa1761..3d7f286 100644 --- a/qualdev/compte_rendu.txt +++ b/qualdev/compte_rendu.txt @@ -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. +La séquence idéale est : commit → pull → push. \ No newline at end of file -- GitLab