
Fonctionnement de git pull
Objectifs
Apprendre à utiliser la commande git pull pour mettre à jour et fusionner les branches distantes avec une copie locale. Comprendre le rôle des commandes git fetch et git merge dans ce processus.
Résumé
La commande git pull permet de mettre à jour votre copie locale avec les modifications des branches distantes en combinant les commandes git fetch et git merge.
Description
Lorsqu'on souhaite récupérer des informations d'un serveur, la commande git pull est employée. Elle combine en réalité deux commandes essentielles : git fetch et git merge. La commande git fetch met à jour la référence locale des branches distantes sans intégrer les modifications dans votre copie locale. Pour cela, la commande git merge est nécessaire.
Avec git pull, vous mettez à jour une branche distante et la fusionnez avec la branche locale active. Si vous utilisez la forme simple de git pull sans spécifier explicitement la remote ou la branche, Git utilisera les informations de suivi configurées en local pour déterminer les branches et les remotes à mettre à jour. En fin de compte, git pull simplifie le processus de synchronisation de votre copie locale avec les modifications de vos collègues.
Par exemple, après un git fetch, les commits récupérés sont intégrés dans votre copie locale via une opération de merge.
Questions fréquentes
Programme détaillé
Module 1 - Introduction et configuration
Module 2 - Les bases
Module 3 - La gestion des branches
Module 4 - La Synchronisation
Module 5 - Modifier son historique
Module 6 - Commandes utiles
