les remotes¶
dans un repo git, on peut configurer des remotes
chaque remote correspond à (l’URL d’) un autre repo git avec lequel on peut se synchroniserlorsqu’on utilise
git clonepour créer un repo
le remoteoriginest créé, et il désigne le repo que l’on a clônéon peut afficher la liste des remotes avec la commande
git remote
bien souvent du coup, on n’a que le seul remoteorigin
les commandes¶
| commande | action |
|---|---|
| ￮￮￮￮￮￮￮￮￮￮￮￮ | regarder |
git remote | liste les remotes connus |
très souvent il y a un seul remote qui s’appelle origin - créé par clone | |
git fetch | ou git fetch origin |
| va chercher dans le remote les nouveaux commits | |
| et les ajoute dans le dépôt courant | |
| non intrusif: le commit courant, l’index et les fichiers ne sont pas modifiés | |
| ￮￮￮￮￮￮￮￮￮￮￮￮ | adopter des nouveautés |
git pull | ou git pull origin main |
fait d’abord un fetch origin | |
puis un merge origin/main | |
intrusif : comme pour un merge - peut changer fichiers et index et commit courant | |
| ￮￮￮￮￮￮￮￮￮￮￮￮ | publier des nouveautés |
git push | ou git push origin main |
essaie de pousser dans le remote origin | |
le commit courant au dessus de la branche main (du dépôt distant) | |
| conditions nécessaires: | |
| 1. avoir les droits d’accès dans le remote | |
| 2. il doit s’agir d’une fusion fast-forward |