$_
StemLegacy
Phase 4GitHub

#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 :

Ajouter un remote
$ git remote add origin https://github.com/alice/mon-projet.git

Pour vérifier les remotes configurés :

Lister les remotes
$ 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 :

Premier push
$ 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 :

Push suivant
$ git push
Everything up-to-date

git 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 :

Récupérer les changements
$ 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 :

Cloner un dépôt
$ 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

Résumé
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.

terminal — bash
user@stemlegacy:~/mon-projet$