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 clone
pour créer un repo
le remoteorigin
est 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 de ce repo |
très souvent il y a un seul remote | |
créé par clone et qui s’appelle origin | |
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 | |
○○○○○○○○○○○○ | 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 |