Gérer efficacement les dépôts GitHub peut être un défi, surtout pour les débutants.
Sans une compréhension claire des commandes Git essentielles, vous risquez de perdre des modifications importantes ou de créer des conflits dans votre projet.
Cet article vous guide à travers l’utilisation des commandes ‘git push’, ‘git fetch’, et ‘git pull’, essentielles pour maintenir vos dépôts synchronisés et collaborer efficacement.
Devenez expert en gestion de dépôts et automatisez avec GitHub Actions!
Commandes GitHub : Introduction
Dans cette section, nous allons explorer les opérations essentielles pour interagir avec un dépôt GitHub à distance. Mais assurons-nous d’abord que notre dépôt local est associé à un dépôt distant. Dans notre cas, les deux dépôts sont liés puisque nous avons cloné le dépôt distant précédemment. Cependant, si ce n’est pas le cas, associez-les en utilisant la commande
git remote add origin [URL-dépôt], ce qui nous permettra de synchroniser nos modifications et de collaborer efficacement sur notre projet.
Git Push : Envoyer Modifications
Jusqu’à présent, notre dépôt distant ne contient aucun contenu, donc nous allons envoyer nos fichiers (modifications dans notre dépôt local). Pour le faire, il faut taper la commande : git push origin main
Très bien, le visuel nous montre que les fichiers ont été envoyés et enregistrés dans le dépôt distant. Nous pouvons le vérifier en consultant le dépôt distant dans notre organisation.
Voilà, ça semble magique, n’est-ce pas ? Les modifications locales sont maintenant envoyées au dépôt distant. Dans la prochaine section, nous allons explorer les commandes git fetch et git pull pour gérer les modifications.
Git Fetch & Pull : Synchroniser Dépôt
Pour obtenir les dernières mises à jour du dépôt distant sans les fusionner, utilisons la commande git fetch . Ensuite, pour synchroniser et fusionner ces modifications avec notre dépôt local, exécutons git pull origin main. L’illustration ci-dessous montre comment ces commandes s’insèrent dans le flux de travail Git.
Dans cette section, nous nous plaçons dans la peau d’un autre développeur qui apporte des modifications au dépôt distant. Pour simuler cela, réalisons directement les changements dans le dépôt local.
Voilà, nous avons ajouté les commandes pour récupérer et intégrer des modifications dans le fichier README.
N’oublions pas de commit le changement en cliquant le bouton vert au-dessus : Commit changes et par la suite, nous aurons une page comme ceci.
Avant de lancer ces commandes, voici le contenu initial de ce fichier.
Lançons maintenant nos commandes pour récupérer et tirer les modifications dans le dépôt distant.
Commençons d’abord par la commande : git fetch .
Parfait, le visuel nous indique bien que les modifications sont récupérées. Donc, nous pouvons maintenant les enregistrées dans notre dépôt local en lançant la commande correspondante : git pull origin main.
Super, le visuel indique que la commande était exécutée avec succès et les modifications sonr enregistrées dans notre dépôt local. Nous poubons le vérifier dans notre depot local en l’ouvrant dans l’editeur.
Formez-vous gratuitement avec Alphorm !
Maîtrisez les compétences clés en IT grâce à nos formations gratuites et accélérez votre carrière dès aujourd'hui.
FAQ
Comment associer un dépôt local à un dépôt distant sur GitHub?
Comment envoyer des modifications à un dépôt distant avec Git?
Quelle est la différence entre git fetch et git pull?
Comment récupérer et intégrer des modifications depuis un dépôt distant?
Comment vérifier les modifications dans un dépôt après un pull?
Conclusion
Les commandes GitHub telles que ‘git push’, ‘git fetch’, et ‘git pull’ sont essentielles pour une gestion efficace des dépôts. Quelle est votre prochaine étape pour approfondir vos connaissances Git?