#13 GitHub et les remotes
remote, push, pull, clone
C'est quoi GitHub ?
GitHub est une plateforme en ligne qui héberge des dépôts Git. Elle permet de stocker votre code dans le cloud, de le partager avec d'autres développeurs et de collaborer sur des projets.
Jusqu'ici, vous avez travaillé avec Git en local, sur votre machine. Avec GitHub, vous allez pouvoir envoyer votre code sur un serveur distant et y accéder depuis n'importe où.
C'est quoi un remote ?
Un remote (ou dépôt distant) est une version de votre projet hébergée sur un serveur, comme GitHub. Il sert de point central pour synchroniser le travail entre plusieurs machines ou plusieurs développeurs.
Par convention, le remote principal s'appelle origin. C'est le nom donné automatiquement quand vous clonez un dépôt ou que vous ajoutez manuellement un remote.
git remote -- Gérer les dépôts distants
Pour lier votre dépôt local à un dépôt GitHub, utilisez git remote add :
$ git remote add origin https://github.com/alice/mon-projet.gitPour vérifier les remotes configurés :
$ git remote -v
origin https://github.com/alice/mon-projet.git (fetch)
origin https://github.com/alice/mon-projet.git (push)git push -- Envoyer ses commits
La commande git push envoie vos commits locaux vers le dépôt distant. La première fois, utilisez -u pour lier votre branche locale à la branche distante :
$ git push -u origin main
Enumerating objects: 5, done.
Counting objects: 100% (5/5), done.
To https://github.com/alice/mon-projet.git
* [new branch] main -> main
Branch 'main' set up to track remote branch 'main' from 'origin'.Une fois la liaison faite, un simple git push suffit pour les envois suivants :
$ git push
Everything up-to-dategit pull -- Récupérer les changements
La commande git pull télécharge les modifications du dépôt distant et les fusionne dans votre branche locale. C'est l'inverse de git push :
$ git pull
Already up to date.Utilisez git pull régulièrement pour rester à jour avec les modifications des autres contributeurs.
git clone -- Copier un dépôt
Pour récupérer un projet existant depuis GitHub, utilisez git clone. Cette commande télécharge tout le dépôt (code + historique) dans un nouveau dossier :
$ git clone https://github.com/alice/mon-projet.git
Cloning into 'mon-projet'...
remote: Enumerating objects: 25, done.
remote: Total 25 (delta 0), reused 25 (delta 0)
Receiving objects: 100% (25/25), done.Le remote origin est automatiquement configuré pour pointer vers l'URL d'origine.
Récapitulatif
git remote add origin URL # Ajouter un dépôt distant
git remote -v # Lister les remotes
git push -u origin main # Premier envoi
git push # Envois suivants
git pull # Récupérer les changements
git clone URL # Copier un dépôt existantÀ vous de jouer
Essayez les commandes pour travailler avec les remotes dans le terminal ci-dessous. Commencez par git remote -v pour voir les dépôts configurés.