Collaboration avec GitHub

SlidesPDF PPTX

Niveau : Beginner

Durée : 2h

Prérequis

Maîtriser git init, add, commit, branches, merge (Ateliers 02-06)
Avoir un compte GitHub et une clé SSH ou gh auth (Atelier 02)
Savoir faire git status et git log

Objectifs d'apprentissage

Distinguer dépôt local vs distant et le rôle d'origin
Gérer les remotes : add, rename, remove, set-url, show
Pousser avec git push -u et comprendre l'upstream (tracking)
Cloner, fetcher et puller sans écraser son travail

Progression dans cet atelier0%

Dépôt local vs Dépôt distant

Jusqu’ici tout était local. Pour collaborer, on pousse vers un remote hébergé (GitHub).

<pre dir="ltr" class="mermaid">sequenceDiagram participant Local as Votre Machine (Local) participant Cloud as GitHub (Distant) participant Collab as Collègue Local->>Cloud: git push origin main Cloud->>Collab: git fetch / pull Collab->>Cloud: git push origin feature Cloud->>Local: git fetch + merge</pre>

Local	Distant
`.git` sur votre disque	GitHub `user/repo.git`
`git status`, `git log`	`git push`, `git pull`, UI web
Rapide, hors ligne	Partage, sauvegarde, CI

Gérer les remotes : `git remote`

Ajouter, voir, renommer, supprimer

git remote add origin https://github.com/votre-username/atelier-git.git
git remote -v
# origin  https://github.com/... (fetch)
# origin  https://github.com/... (push)

# Cas du fork : vous avez cloné le dépôt d'origine…
git remote rename origin upstream   # …il devient « upstream »
git remote add origin https://github.com/votre-username/fork.git  # votre fork devient « origin »

git remote set-url origin git@github.com:votre-username/fork.git
git remote get-url origin
git remote show origin
# * remote origin
#   Fetch URL: ...
#   Push  URL: ...
#   HEAD branch: main
#   Remote branches: main tracked

git remote remove upstream

<pre dir="ltr" class="mermaid">flowchart LR A[Votre fork origin] <--> B[Local git remote -v] C[Upstream hashcode/original] --> B B --> A</pre>

Commandes à exécuter

bash

# Cliquez sur les commandes à gauche pour les exécuter dans le simulateur

hashcode-academy:~$_

Pousser : `git push` & upstream

Premier push — créer la branche distante

git switch main
git push -u origin main
# Enumerating objects: 3, done.
# * [new branch]      main -> main
# branch 'main' set up to track 'origin/main'.

-u = --set-upstream → lie main local à origin/main distant. Ensuite :

git push        # suffit (upstream déjà connu)
git push origin main  # explicite

Voir le tracking

git branch -vv
# * main    a1b2c3d [origin/main] feat: initial
#   feature e4f5a6b [origin/feature: ahead 2] feat: login

git switch feature
git status
# On branch feature
# Your branch is ahead of 'origin/feature' by 2 commits.
#   (use "git push" to publish your local commits)

git switch main
git status
# On branch main
# Your branch is up to date with 'origin/main'.
# nothing to commit, working tree clean

Pousser une feature

git switch -c feature-contact
git push -u origin feature-contact
# → crée origin/feature-contact

Auth : HTTPS vs SSH

Méthode	URL	Auth
HTTPS	`https://github.com/user/repo.git`	PAT (`gh auth login`) ou GCM
SSH	`git@github.com:user/repo.git`	Clé `ed25519` + `ssh -T git@github.com`

Changer après coup :

git remote set-url origin git@github.com:votre-username/atelier-git.git

Commandes à exécuter

bash

# Cliquez sur les commandes à gauche pour les exécuter dans le simulateur

hashcode-academy:~$_

Récupérer un projet : `git clone`

git clone https://github.com/votre-username/nom-du-projet.git
# ou SSH
git clone git@github.com:votre-username/nom-du-projet.git
# ou gh
gh repo clone votre-username/nom-du-projet

cd nom-du-projet
ls -la
# .git  README.md  ...
git remote -v
# origin  https://... (fetch)

Options :

git clone --depth 1 https://github.com/user/repo.git  # shallow, rapide
git clone --branch feature-login https://...  # une seule branche
gh repo clone joinhashcode/workshops -- --depth 1

Rester synchro : `git fetch` vs `git pull`

`git fetch` — informer sans fusionner

git fetch origin
# Télécharge les nouveaux commits dans origin/main (ne touche PAS vos fichiers)
git log --oneline origin/main --not main
# montre ce qui est distant mais pas encore local

`git pull` — fetch + merge

git pull origin main
# = git fetch origin + git merge origin/main
git pull --rebase origin main  # variante rebase (avancé)

Workflow quotidien

git fetch origin — voir ce qui a bougé 2. git status — Your branch is behind 'origin/main' by 3 commits 3. git pull origin main — rapatrier + merger 4. Si CONFLICT → résoudre (git add + git commit) 5. git push origin main

Commandes à exécuter

bash

# Cliquez sur les commandes à gauche pour les exécuter dans le simulateur

hashcode-academy:~$_

Auth moderne & GitHub CLI

PAT vs SSH vs GCM

Méthode	Config	Usage
GCM (Windows)	`git config --global credential.helper manager`	Stocke PAT sécurisé
osxkeychain (macOS)	`credential.helper osxkeychain`	Keychain
libsecret (Linux)	`credential.helper libsecret`	Porte-clés
SSH	`ssh-keygen -t ed25519`	`git@github.com:...`
gh	`gh auth login`	PAT + `gh` CLI

gh auth status
gh repo view --web
gh repo clone joinhashcode/workshops
gh browse