GitHub : dépôts distants — clone, push, pull
Jusqu'ici, Git était 100 % local — tout l'historique ne vivait que sur ta machine. Maintenant, on sort à l'extérieur. Un remote (serveur distant) est une copie du dépôt qui vit sur un serveur comme GitHub, utilisée pour partager avec d'autres et pour la sauvegarde. On va rencontrer en douceur quatre
Ton dépôt local est ton carnet privé ; le remote (origin) est un tableau partagé dans le cloud. push copie du carnet vers le tableau, pull copie du tableau vers le carnet, et fetch se contente de jeter un œil à ce qui est nouveau sur le tableau sans rien changer dans ton carnet.
- Remote
- Une copie du dépôt qui vit sur un serveur (généralement GitHub), utilisée pour partager et sauvegarder. Le nom conventionnel du serveur source est origin.
- git clone
- Télécharge une copie complète d'un dépôt distant (y compris tout l'historique et les branches) sur la machine locale, et le configure automatiquement comme origin.
- git push / git pull
- push envoie tes commits locaux vers le remote ; pull télécharge les commits du remote et les fusionne dans la branche actuelle (c'est-à-dire fetch + merge).
- git fetch
- Télécharge les nouveaux commits du remote sans fusionner et sans changer ta branche ou tes fichiers locaux — une opération toujours sûre.
- origin
- Le nom conventionnel (par défaut) du serveur distant depuis lequel tu as cloné. git push -u origin main relie la branche au serveur une fois pour toutes.
