📘 Chapitre – Branches, pull/push, merge
1. 🎯 Objectif pédagogique
Savoir créer et gérer des branches, comprendre les opérations pull et push, et effectuer des fusions (merge) pour collaborer efficacement sur un projet.
2. 📚 Concepts abordés
- Rôle des branches dans Git (développement parallèle)
- Commandes clés :
git branch
,git checkout
,git switch
- Synchronisation :
git pull
(récupérer),git push
(envoyer) - Fusion de branches :
git merge
- Gestion des conflits simples
3. 🧠 Explication théorique
Les branches permettent de travailler sur de nouvelles fonctionnalités sans impacter la branche principale (main).
-
Créer une branche :
git branch feature-1
-
Basculer sur une branche :
git checkout feature-1
ou
git switch feature-1
Après avoir effectué des modifications, il faut pousser la branche sur GitHub :
git push -u origin feature-1
Pour fusionner la branche dans main :
git checkout main
git merge feature-1
4. 🛠 Tutoriel pratique
Résumé du travail : Créer une branche feature-1
, ajouter une fonctionnalité, puis la fusionner dans main
.
Étape 1 : Créer et basculer sur une branche
git checkout -b feature-1
Étape 2 : Ajouter des modifications
echo "<p>Nouvelle fonctionnalité</p>" >> index.html
git add index.html
git commit -m "Ajout de la fonctionnalité 1"
Étape 3 : Pousser la branche
git push -u origin feature-1
Étape 4 : Fusionner dans main
-
Revenir sur main :
git checkout main
-
Fusionner :
git merge feature-1
-
Pousser les changements :
git push
Étape 5 : Supprimer la branche (optionnel)
git branch -d feature-1
git push origin --delete feature-1
5. 🧾 Résumé et points-clés
- Branches = zones de travail indépendantes.
git pull
met à jour votre dépôt local depuis GitHub.git push
envoie vos commits sur le dépôt distant.git merge
combine le travail de différentes branches.- Les branches facilitent le travail collaboratif et l’intégration de nouvelles fonctionnalités.