Récupérer les étapes des autres (pull)

En une phrase : télécharger sur votre machine les modifications poussées par les autres (ou par vous depuis une autre machine). Difficulté : facile en général — attention si vous avez des changements locaux non sauvegardés Temps : 30 secondes à 5 minutes (si conflit)

Quand l'utiliser

• Avant de commencer une nouvelle session de travail l'administrateur vous dit « j'ai poussé un changement, récupère-le »
• Vous changez de machine (Mac → Parallels Windows, ou inversement)

Avant de commencer

• [ ] Vous êtes dans le bon dossier (cd auguste-revit)
• [ ] Vous savez où vous en êtes (git status → idéalement clean)

Étapes — cas simple (rien en local)

1. Vérifier que vous êtes propre

git status

Doit afficher nothing to commit, working tree clean.

2. Récupérer

git pull

Affiche les fichiers modifiés et la liste des commits intégrés.

Étapes — cas mixte (vous avez aussi modifié des choses)

1. Sauvegarder ou mettre de côté vos changements

Option A — sauvegarder dans un commit : Voir sauvegarder-mes-etapes.md. Puis :

git pull --rebase

--rebase rejoue vos commits par-dessus ceux des autres → historique propre, pas de "merge commit" cosmétique.

Option B — mettre de côté temporairement (stash) :

git stash             # cacher mes changements
git pull              # récupérer les autres
git stash pop         # ressortir mes changements

Utile si vous n'êtes pas prête à sauvegarder mais voulez tester rapidement.

Schéma de décision

Vérifier que ça a marché

• Aucun message d'erreur rouge
• git log -5 --oneline montre les nouveaux commits
• Le projet compile encore (dotnet build ... ou utiliser le skill /test)

Si ça ne marche pas

Symptôme	Que faire
Please commit your changes or stash them before you merge	Vous êtes dans le cas mixte — voir étapes ci-dessus
Conflit de merge	Voir reparer-apres-merge-casse.md
error: Your local changes would be overwritten	git stash d'abord, ensuite git pull
Le build casse après le pull	git log -5 pour voir les derniers commits + lire le code. Si pas clair, demander à l'administrateur

Ce qu'il ne faut JAMAIS faire

• git reset --hard origin/main pour "résoudre" un conflit — vous perdriez vos modifs locales
• Forcer un pull pendant que d'autres pushent

---

Public cible : développeur futur (et utilisatrices à terme) Dernière vérification : 2026-05-15