git push
git
Syntaxe
git push [-u] [--force-with-lease] <remote> <branch>Envoie vos commits vers un dépôt distant ; --force écrase la branche distante et peut effacer les commits des autres, préférez --force-with-lease, qui refuse si le distant a bougé.
Options courantes
| Option | Signification |
|---|---|
| -u | set the upstream so later pushes need no arguments |
| --force-with-lease | force, but stop if the remote moved since your last fetch |
| -f | force: overwrite the remote branch, commits of others included |
| --tags | push tags as well, which push does not do on its own |
| --delete <branch> | delete the branch on the server |
| --all | push every local branch |
| -n | dry run |
Exemples
git push -u origin feature/loginpublishes the branch and remembers the pairing
git push --force-with-leasethe safe force, used after a rebase
git push origin --delete old-featureremoves the branch on the server
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 push ?
Envoie vos commits vers un dépôt distant ; --force écrase la branche distante et peut effacer les commits des autres, préférez --force-with-lease, qui refuse si le distant a bougé.
Q. Comment l’écrire ?
git push [-u] [--force-with-lease] <remote> <branch> — 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-push