0 XP
?
Git et GitHub : maîtrisez le versionnement/Remote et GitHub
Débutant45 min30 XP

Objectifs de cette leçon

  • Ajouter un remote GitHub
  • Pousser et tirer des changements
  • Cloner un dépôt distant

Remote et GitHub 🌍

Connecter un dépôt distant

git remote add origin https://github.com/monuser/mon-projet.git
git remote -v
git push -u origin main

Pull et fetch

git fetch origin
git pull origin main
git push origin main

Cloner un dépôt

git clone https://github.com/monuser/mon-projet.git
git clone git@github.com:monuser/mon-projet.git

Résumé

CommandeDescription
git remote add origin <url>Ajouter un remote
git push -u origin mainPousser + tracking
git pullRécupérer et fusionner
git fetchRécupérer sans fusionner
git clone <url>Cloner

Exercices 🎯

  1. Crée un dépôt sur GitHub et pousse ton code
  2. Clone un dépôt public et modifie un fichier
  3. Récupère les changements avec git pull

⚡ Simulateur — Remote et GitHub

Étape 1/4
📝 Pseudo-code
1git remote add origin https://github.com/user/repo.git
2git push -u origin main
3git pull origin main
4git clone https://github.com/user/repo.git
⚙️ Exécution
📦 Mémoire
remote
origin
🔀 Flux d'exécution
remote ajouté
📟 Console
remote: Repository configured
3
Ajout du remote

git remote add origin crée un lien entre votre dépôt local et un dépôt distant sur GitHub. 'origin' est le nom conventionnel du remote.