Débutant · 5 min de lecture
fetch, pull, push : parler au remote
Ton dépôt et celui de GitHub sont deux copies différentes. Voici comment elles restent synchronisées.
fetch : regarder sans toucher
Télécharge les nouveaux commits dans les branches origin/* sans jamais modifier tes branches ni tes fichiers. Toujours sans risque, lance-le aussi souvent que tu veux.
Sans risque
$ git fetch origin$ git log --oneline HEAD..origin/main
pull : fetch + intégrer
pull, c'est un fetch suivi d'un merge (ou d'un rebase avec --rebase). C'est là que les conflits peuvent apparaître. Pull avant de commencer à travailler et avant de pousser.
Sans risque
$ git pull --rebase
push : publier tes commits
push envoie tes commits sur le remote. Si quelqu'un a poussé avant toi, c'est refusé : pull, puis pousse à nouveau. Ne force jamais le passage sur une branche partagée.
Sans risque
$ git push -u origin HEAD