Héberger son dépôt sur GitHub

• Créer un compte GitHub et un premier dépôt distant.
• Configurer son identité Git avec les informations de ce compte.
• Configurer une clé SSH, pour s'authentifier sans ressaisir de mot de passe.
• Envoyer (push) et récupérer (pull) des commits entre dépôt local et dépôt distant.

Petite vérification

Avant de commencer, vérifiez si vous savez encore...

1. afficher les différences non encore ajoutées à la zone de préparation
2. créer un fichier .gitignore excluant un fichier secret.txt
3. modifier le message du tout dernier commit d'un dépôt

📌 Réponse attendue

Vous devez être connecté pour voir le contenu.

Email : Mot de passe :

Notions théoriques

Jusqu'ici, notre dépôt Git n'existe que sur notre propre machine. Si le disque dur lâche, tout l'historique disparaît avec lui. Héberger une copie de ce dépôt en ligne, sur GitHub, apporte trois choses : une sauvegarde, un moyen de montrer son travail (portfolio de développeur), et surtout la possibilité de collaborer avec d'autres personnes.

Créer un compte et un dépôt GitHub

1. Créez un compte sur github.com, si ce n'est pas déjà fait.
2. Cliquez sur New repository, donnez-lui un nom (par exemple mon-portfolio), laissez-le public, et ne cochez aucune case d'initialisation (pas de README, pas de .gitignore) : nous avons déjà un dépôt local à envoyer.

Configurer son identité avec les informations de son compte GitHub

Chaque commit enregistre qui l'a créé (nom et e-mail), grâce à git config. Lors de la séance sur la découverte de Git, vous avez peut-être déjà exécuté cette commande avec une valeur provisoire, faute de savoir quoi y indiquer. Maintenant que votre compte GitHub existe, vous connaissez les vraies informations à y mettre :

git config --global user.name "Prénom Nom"
git config --global user.email "adresse-liee-a-votre-compte-github@exemple.fr"

Vérifiez votre configuration avec :

git config --list

info

--global signifie que cette configuration s'applique à tous vos dépôts Git, sur cette machine (sans --global, elle ne s'appliquerait qu'au dépôt courant). Utiliser la même adresse e-mail que celle de votre compte GitHub permet à GitHub de relier automatiquement vos commits à votre profil (avatar, lien vers votre compte, graphique de contributions).

astuce

GitHub propose, dans Settings → Emails, une adresse @users.noreply.github.com : utilisez-la comme user.email si vous préférez ne pas exposer votre vraie adresse dans l'historique public de vos dépôts (l'historique Git, y compris les e-mails des commits, est visible par tous sur un dépôt public).

S'authentifier avec une clé SSH

Pour envoyer des commits vers GitHub, il faut prouver que c'est bien vous : GitHub recommande l'authentification par clé SSH, une paire de clés (privée / publique) qui évite de ressaisir un mot de passe à chaque envoi.

ssh-keygen -t ed25519 -C "adresse@exemple.fr"

Cette commande génère deux fichiers dans ~/.ssh/ : id_ed25519 (la clé privée, à ne jamais partager) et id_ed25519.pub (la clé publique, à donner à GitHub).

attention

La clé privée reste toujours sur votre machine. Seule la clé publique (.pub) est copiée sur GitHub. Si quelqu'un obtient votre clé privée, il peut se faire passer pour vous.

Copiez le contenu de la clé publique :

cat ~/.ssh/id_ed25519.pub

Sur GitHub : Settings → SSH and GPG keys → New SSH key, collez la clé publique, validez.

Testez la connexion :

ssh -T git@github.com

Un message confirme votre identification par votre nom d'utilisateur GitHub.

Envoyer son dépôt local (push)

Un dépôt distant est identifié par une URL et un nom court, par convention origin :

git remote add origin git@github.com:votre-compte/mon-portfolio.git
git push -u origin main

-u (pour upstream) relie la branche locale main à la branche distante origin/main : les prochains envois pourront se faire avec un simple git push.

Récupérer des changements (pull)

Si un fichier est modifié directement sur GitHub (ou par une autre personne), votre dépôt local ne le sait pas tant que vous ne le récupérez pas :

git pull

Exemple pratique

Reprenons mon-portfolio. Après avoir créé le dépôt vide sur GitHub, configuré votre identité et votre clé SSH :

cd mon-portfolio
git remote add origin git@github.com:votre-compte/mon-portfolio.git
git push -u origin main

Rendez-vous sur la page GitHub du dépôt : vos fichiers et votre historique de commits doivent y apparaître.

Modifiez directement le fichier README.md depuis l'interface GitHub (bouton crayon), en ajoutant une phrase, puis validez ("Commit changes"). Revenez ensuite dans votre terminal :

git pull
cat README.md

Le fichier local contient maintenant la modification faite en ligne.

info

git clone permet de récupérer, en une seule commande, une copie complète d'un dépôt distant (historique compris) — utile pour récupérer un projet auquel vous n'avez jamais touché localement :

git clone git@github.com:un-compte/un-projet.git

Test de mémorisation/compréhension

Pourquoi héberger un dépôt Git sur GitHub, en plus de l'avoir en local ?

Pour disposer d'une sauvegarde et pouvoir collaborer avec d'autres personnes

Parce que Git ne fonctionne pas sans GitHub

Pour accélérer les commits locaux

Pourquoi utiliser la même adresse e-mail pour git config --global et pour son compte GitHub ?

Pour que GitHub refuse les commits envoyés avec une autre adresse

Pour que GitHub relie automatiquement les commits au profil du compte

Parce que --global exige une adresse e-mail déjà enregistrée sur GitHub

Quelle commande génère une paire de clés SSH ?

ssh-keygen

git ssh-create

github-keygen

Laquelle de ces deux clés SSH doit être ajoutée à GitHub ?

La clé publique (.pub)

La clé privée

Les deux, dans le même champ

Que se passe-t-il si la clé privée SSH est divulguée à quelqu'un d'autre ?

Cette personne peut s'authentifier à votre place

Rien, seule la clé publique compte

GitHub bloque automatiquement le compte

Que fait l'option -u dans git push -u origin main ?

Elle relie la branche locale à la branche distante pour les prochains push/pull

Elle supprime la branche distante avant de la recréer

Elle force l'envoi même en cas de conflit

Quelle commande récupère les changements faits sur GitHub vers le dépôt local ?

git pull

git push

git fetch --delete

Quelle commande permet de récupérer en une fois la copie complète d'un dépôt distant, jamais cloné auparavant ?

git clone

git pull --all

git init --remote

Par convention, quel nom donne-t-on généralement au dépôt distant principal ?

origin

main

master

TP pour réfléchir et résoudre des problèmes

Vous allez configurer votre identité et votre clé SSH, puis héberger mon-cv sur GitHub.

Étape 1 — Configurer son identité

Vous avez créé votre compte GitHub au début de cette séance. Configurez maintenant votre identité Git avec les vraies informations de ce compte (nom, et adresse e-mail liée au compte).

Étape 2 — Configurer la clé SSH

Bonne pratique - Une clé par machine

Générez une paire de clés SSH par machine que vous utilisez (ordinateur personnel, ordinateur du lycée...), plutôt que de copier la même clé privée partout. Si une machine est compromise, seule sa clé doit être révoquée.

Étape 3 — Créer le dépôt distant et l'envoyer

Créez un dépôt vide nommé mon-cv sur GitHub (sans README ni .gitignore).

Étape 4 — Modifier en ligne, puis récupérer

Ajoutez une ligne directement sur GitHub, dans index.html, via l'éditeur en ligne, et validez le changement.

Bonne pratique - Toujours pull avant de push

Avant d'envoyer de nouveaux commits (git push), prenez l'habitude de d'abord git pull : cela évite de découvrir un conflit avec des changements distants que vous ignoriez, au pire moment.