Connecter ton repo à GitHub

GitHub est le serveur où tu publies tes commits pour sauvegarder ton travail et travailler avec d'autres. Cette leçon te fait connecter ton repo local à un repo GitHub, puis te montre les opérations push et pull du quotidien.

Créer le repo sur GitHub

Connecte-toi sur github.com, clique sur New repository. Donne-lui un nom, laisse-le vide (sans README ni .gitignore côté GitHub), et crée-le.

GitHub t'affiche ensuite les commandes exactes à lancer. On va les décortiquer.

Ajouter le remote

Un "remote" est un alias vers l'URL d'un repo distant. Par convention, le remote principal s'appelle origin.

$git remote add origin https://github.com/ton-nom/ton-repo.git

Pour vérifier que le remote est bien configuré :

$git remote -v

Tu dois voir deux lignes : une pour fetch et une pour push, toutes deux pointant vers ton URL GitHub.

Premier push

La première fois, tu dois indiquer à Git que la branche main locale doit pousser vers origin/main :

$git push -u origin main

L'option -u (upstream) crée le lien. À partir de là, un simple git push suffira.

HTTPS ou SSH ?

Deux façons de s'authentifier sur GitHub :

• HTTPS : tu entres ton nom d'utilisateur + un token personnel (pas ton mot de passe). Simple à configurer, c'est ce que tu as probablement utilisé ci-dessus.
• SSH : tu génères une paire de clés, tu déposes la clé publique dans tes paramètres GitHub, et tu n'as plus jamais à entrer de mot de passe. Idéal si tu pousses souvent.

Pull : récupérer les changements distants

Quand quelqu'un d'autre a poussé des commits, ou que tu travailles depuis plusieurs machines, tu rapatries les changements avec :

$git pull

git pull est un raccourci pour git fetch (télécharge les commits distants) suivi de git merge (les intègre dans ta branche courante).

Cloner un repo existant

Si tu arrives sur un projet déjà hébergé sur GitHub, pas besoin de remote add. Tu clones directement :

$git clone https://github.com/ton-nom/ton-repo.git

Cette commande crée un dossier local, télécharge tout l'historique, et configure origin automatiquement.

Pour la suite

Avec ton repo sur GitHub, tu peux créer des branches, pousser du travail, et ouvrir des pull requests - le sujet des prochaines leçons.