Collaboration avec GitHub

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

Jusqu’à présent, tout votre travail s’est fait sur votre machine locale. Pour collaborer avec d’autres développeurs, nous utilisons un dépôt distant (remote repository) hébergé sur une plateforme cloud comme GitHub.

sequenceDiagram
    participant Local as Votre Machine (Local)
    participant Cloud as GitHub (Distant)
    participant Collab as Machine de votre collègue

    Local->>Cloud: git push (Envoi des commits)
    Cloud->>Collab: git clone / git pull (Récupération)
    Collab->>Cloud: git push
    Cloud->>Local: git pull

---

Exercice Pratique : Lier et pousser votre dépôt sur GitHub

Suivez les instructions du simulateur interactif pour connecter votre dépôt Git local à un dépôt GitHub distant et pousser votre historique de commits :

Commandes à exécuter

1

git remote add origin https://github.com/votre-username/atelier-git.git Ajoute le dépôt GitHub distant sous le nom d'origin.

2

git remote -v Vérifie les connexions distantes configurées.

3

git push -u origin main Envoie la branche main locale et configure le suivi distant.

bash

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

hashcode-academy:~$ _

---

Récupérer un projet existant : git clone

Si vous rejoignez un projet existant ou si vous souhaitez télécharger un dépôt depuis GitHub sur une nouvelle machine :

git clone https://github.com/votre-username/nom-du-projet.git

Cette commande crée un dossier sur votre machine, télécharge l’intégralité du projet et configure automatiquement le lien distant vers origin.

---

Rester synchronisé : git pull et git fetch

Lorsque plusieurs personnes travaillent sur le même dépôt distant, vous devez récupérer leurs modifications pour garder votre copie locale à jour.

• git fetch (Récupérer les informations) : Interroge le serveur distant pour voir s’il y a de nouveaux commits, mais ne modifie pas vos fichiers locaux.
• git pull (Récupérer et fusionner) : Télécharge les nouveaux commits depuis le dépôt distant et les fusionne immédiatement dans votre branche active. C’est l’équivalent de faire git fetch suivi de git merge.

git pull origin main

Attention aux conflits distants

Si vous avez fait des modifications en local sur la même ligne qu’un collègue qui a déjà pushé ses commits sur le serveur, git pull générera un conflit que vous devrez résoudre en local avant de pouvoir pusher à votre tour !

---

Fiches de révision

Entraînez-vous à retenir les concepts clés en cliquant sur les cartes ci-dessous :

Question

Quelle est la différence entre un dépôt local et un dépôt distant ?

Cliquer pour révéler la réponse

Réponse

Le dépôt local se trouve sur votre machine et contient votre historique de travail. Le dépôt distant est hébergé sur le cloud (GitHub) et permet la collaboration entre plusieurs développeurs.

Cliquer pour voir la question

Question

Quelle commande envoie vos commits locaux vers le dépôt distant ?

Cliquer pour révéler la réponse

Réponse

git push origin <nom-de-branche>

Cliquer pour voir la question

Question

Quelle commande récupère et fusionne les modifications distantes dans votre branche locale ?

Cliquer pour révéler la réponse

Réponse

git pull origin <nom-de-branche>

Cliquer pour voir la question

Question

À quoi sert le nom origin dans les commandes Git distantes ?

Cliquer pour révéler la réponse

Réponse

origin est le nom par défaut donné au dépôt distant lors du premier clonage ou ajout avec git remote add. C'est un alias qui pointe vers l'URL du dépôt GitHub.

Cliquer pour voir la question

---

Quiz Final — Validez vos connaissances

1. Quelle commande envoie vos commits locaux vers le dépôt distant ?

A git pull B git push C git clone D git remote

2. Quelle est la différence entre git fetch et git pull ?

A Ce sont deux noms pour la même commande B git fetch télécharge et fusionne, git pull télécharge seulement C git fetch télécharge sans fusionner, git pull télécharge ET fusionne D git fetch est pour GitHub, git pull est pour GitLab

3. Que fait la commande git clone ?

A Elle crée une branche locale B Elle copie un dépôt distant complet sur votre machine C Elle synchronise deux branches locales D Elle supprime un dépôt distant

---

Prochaine étape

Vous savez maintenant échanger du code avec GitHub ! Mais comment collabore-t-on de manière propre et structurée en entreprise pour éviter les catastrophes sur la branche principale ? Découvrons le workflow des Pull Requests.

Étape suivante : Le Workflow Pull Request