git remote
git
Syntaxe
git remote -v | git remote add <name> <url>Gère les noms et les URL des dépôts distants ; il ne fait que les noter, rien ne circule avant un fetch ou un push.
Options courantes
| Option | Signification |
|---|---|
| -v | list the remotes with their URLs |
| add <name> <url> | register another repository |
| set-url <name> <url> | point an existing remote somewhere else |
| rename <old> <new> | rename a remote |
| remove <name> | forget a remote |
| show <name> | branches it has and how they are tracked |
| prune <name> | drop tracking refs for branches deleted there |
Exemples
git remote -vshows the fetch and push URL of every remote
git remote add upstream https://github.com/orig/repo.gitadds the original repo alongside your fork
git remote set-url origin git@github.com:me/repo.gitswitches origin from HTTPS to ssh
Ce qui embrouille, c’est qu’annuler a plusieurs formes : déplacer là où pointe une branche n’est pas ajouter un commit qui l’inverse.
Comment lire
- Les crochets [ ] marquent une partie facultative.
- Les points de suspension … signifient qu’on peut en mettre plusieurs.
- Les options sont sensibles à la casse : sur certaines commandes, -r et -R ne font pas la même chose.
Questions fréquentes
Q. Que fait git remote ?
Gère les noms et les URL des dépôts distants ; il ne fait que les noter, rien ne circule avant un fetch ou un push.
Q. Comment l’écrire ?
git remote -v | git remote add <name> <url> — les crochets marquent ce qui est facultatif.
Q. Combien d’options valent la peine ?
Il y en a 7 ici ; la liste complète est dans man git. Cette commande relève de git.
Commandes liées
page man: man git-remote