🚀 4. GitHub : Push, Pull et Collaboration

Eva, en train de partager son code avec l’équipe :
« Comment puis-je partager mon travail avec les autres membres de l’équipe ? »

Rostand répond :
« Avec GitHub, tu peux pousser ton code vers un dépôt distant et tirer les modifications des autres. C’est la base de la collaboration en développement. »

Owen ajoute :
« GitHub est comme un espace de travail partagé où tout le monde peut contribuer et suivre l’évolution du projet. »

---

Objectifs d’Apprentissage

1. Comprendre comment pousser et tirer des modifications avec GitHub.
2. Maîtriser les commandes essentielles : git push, git pull, git clone.
3. Apprendre à collaborer efficacement avec une équipe sur GitHub.
4. Découvrir les bonnes pratiques pour utiliser GitHub.

---

🔍 Concept Clé : GitHub et les Dépôts Distants

GitHub est une plateforme qui permet d’héberger des dépôts Git en ligne. Cela facilite la collaboration entre développeurs en permettant de partager et de synchroniser le code.

---

Commandes Essentielles

1. Cloner un Dépôt : git clone

git clone url_du_depot

→ Crée une copie locale d’un dépôt distant.

Exemple :

git clone https://github.com/utilisateur/projet.git

---

2. Pousser des Modifications : git push

git push origin nom_de_la_branche

→ Envoie les modifications locales vers le dépôt distant.

Exemple :

git push origin main

---

3. Tirer des Modifications : git pull

git pull origin nom_de_la_branche

→ Récupère les modifications du dépôt distant et les fusionne avec la branche locale.

Exemple :

git pull origin main

---

🔧 Collaboration sur GitHub

1. Créer un Nouveau Dépôt

1. Connectez-vous à GitHub.
2. Cliquez sur « New repository ».
3. Remplissez les informations nécessaires et créez le dépôt.

2. Ajouter des Collaborateurs

1. Allez dans les paramètres du dépôt.
2. Sélectionnez « Collaborators ».
3. Ajoutez les utilisateurs avec lesquels vous souhaitez collaborer.

3. Travailler avec des Pull Requests

1. Créez une nouvelle branche pour votre fonctionnalité.
2. Poussez vos modifications vers cette branche.
3. Ouvrez une Pull Request sur GitHub pour demander la fusion de votre branche.

---

Bonnes Pratiques

1. Poussez régulièrement vos modifications : Cela permet de garder le dépôt distant à jour.
2. Tirez les modifications avant de commencer à travailler : Cela évite les conflits.
3. Utilisez des branches pour chaque fonctionnalité : Cela facilite la gestion des modifications.
4. Communiquez avec votre équipe : Utilisez les issues et les Pull Requests pour discuter des modifications.

---

Exercice Pratique Guidé

Objectif : Collaborer sur un projet GitHub en utilisant git push, git pull et les Pull Requests.

Étapes :

1. Clonez un dépôt GitHub existant.
2. Créez une nouvelle branche pour une fonctionnalité.
3. Faites des modifications et poussez-les vers la branche.
4. Ouvrez une Pull Request sur GitHub.
5. Fusionnez la Pull Request après approbation.

---

Eva, après avoir terminé l’exercice :
« Maintenant, je comprends comment collaborer efficacement avec mon équipe sur GitHub ! »

Rostand conclut :
« GitHub est un outil puissant pour la collaboration en développement. Une fois maîtrisé, il devient indispensable pour tout projet d’équipe. »

---