GitHub et le dépôt distant

Pourquoi GitHub ?

Jusqu'ici, ton dépôt Git est sur ton ordinateur. Si ton disque dur lâche, tout disparaît. Et si tu veux partager ton code avec quelqu'un d'autre ? C'est là qu'intervient GitHub.

GitHub héberge ton dépôt Git sur internet. C'est à la fois une sauvegarde et une plateforme de collaboration. Des millions de développeurs y publient leur code.

Créer un dépôt sur GitHub

1. Connecte-toi sur github.com
2. Clique sur le + en haut à droite → "New repository"
3. Donne un nom à ton dépôt
4. Laisse-le vide (ne coche pas "Initialize this repository")
5. Clique "Create repository"

GitHub t'affiche ensuite les commandes à lancer. C'est exactement ce qu'on va faire.

git remote — lier ton dépôt local au distant

Pour connecter ton dépôt local à GitHub, tu ajoutes un remote. Un remote, c'est juste un nom pour une URL distante. Par convention, le remote principal s'appelle origin.

# Ajouter un remote nommé "origin"
git remote add origin https://github.com/ton-pseudo/ton-repo.git

# Vérifier les remotes configurés
git remote -v
# origin  https://github.com/ton-pseudo/ton-repo.git (fetch)
# origin  https://github.com/ton-pseudo/ton-repo.git (push)

git push — envoyer ton code sur GitHub

git push envoie tes commits locaux vers GitHub. La première fois, tu précises la branche :

# Premier push : définit le tracking
git push -u origin main

# Les fois suivantes, c'est plus simple
git push

git pull — récupérer les dernières modifications

Si quelqu'un a poussé des commits sur GitHub (un collègue, ou toi depuis un autre ordi), tu récupères ses modifications avec git pull.

# Récupérer ET fusionner les changements distants
git pull

# git pull = git fetch + git merge
# fetch : télécharge les changements
# merge : les intègre dans ta branche

git clone — copier un dépôt existant

Tu veux travailler sur un projet qui existe déjà sur GitHub ? git clone télécharge tout le dépôt sur ton ordinateur.

# Cloner un dépôt (crée un dossier automatiquement)
git clone https://github.com/utilisateur/projet.git

# Cloner dans un dossier avec un nom précis
git clone https://github.com/utilisateur/projet.git mon-dossier

Clone = copie complète du dépôt avec tout l'historique. Le remote origin est configuré automatiquement.

Le workflow avec GitHub

# Chaque matin : récupérer les changements
git pull

# Tu travailles, tu commites...
git add .
git commit -m "Mon travail du jour"

# En fin de journée ou quand c'est prêt : envoyer
git push