Synopsis
git push [<remote> [<refspec>...]] [--force-with-lease] [--tags] [--delete]Description
The git push command sends local commits to a remote repository, updating remote branches to match your local ones. The first push of a new branch typically requires -u to set up tracking. By default, push is non-destructive: it refuses to overwrite remote history that you don't have locally. Use --force-with-lease when you genuinely need to rewrite remote history (after a rebase) — never use plain --force on shared branches.
Push obeys server-side rules: branch protections, required reviews, signed commits, and pre-receive hooks can all reject a push. Read the error message carefully when this happens.
Dans l'usage quotidien, git push s'intègre étroitement avec les alias de shell, les plugins d'éditeur et l'intégration continue. Les utilisateurs avancés ajoutent souvent des alias combinant les flags qu'ils passent toujours, ou enveloppent la commande dans des scripts qui appliquent les conventions d'équipe. Le formatage de la sortie peut être personnalisé via la configuration Git — pretty formats, schémas de couleurs et comportement du pager sont tous ajustables. Quand quelque chose tourne mal, la première étape de diagnostic est généralement de relancer la commande avec GIT_TRACE=1 dans l'environnement, ce qui révèle les appels de plomberie sous-jacents. Pour les situations inhabituelles, la sortie --help (git push --help) ouvre la page de manuel complète avec les détails de chaque option, y compris celles rarement utilisées dans les workflows ordinaires mais essentielles pour le débogage ou le scripting à grande échelle.
Comprendre comment git push interagit avec le reste du modèle de données de Git — la base d'objets, l'index, les refs et l'arborescence de travail — est rentable. Chaque commande opère sur un sous-ensemble de ces pièces, et savoir laquelle elle touche aide à prédire les résultats et récupérer après les erreurs. Lire la documentation officielle de Git en parallèle de la pratique sur un dépôt jetable est la façon la plus rapide d'intérioriser les subtilités. La plupart des problèmes de production avec Git proviennent de l'une de trois causes : comportement par défaut surprenant, opérations réseau partielles, ou réécriture d'historique déjà partagé. Un modèle mental fonctionnel des effets de bord de git push aide à éviter les trois.
Options courantes
| Option | Description |
|---|---|
-u, --set-upstream | Définir l'upstream pour les défauts push/pull futurs. |
--force-with-lease | Forcer le push seulement si la ref distante correspond à votre dernière valeur fetchée. |
--force / -f | Force-écraser l'historique distant (dangereux sur les branches partagées). |
--tags | Pousser tous les tags locaux. |
--delete | Supprimer une branche distante. |
--dry-run | Afficher ce qui serait poussé. |
--all | Pousser toutes les branches. |
--atomic | Mise à jour tout-ou-rien de plusieurs refs. |
Exemples
git push -u origin feature/login
# Premier push d'une nouvelle branche avec tracking
git push --force-with-lease
# Alternative plus sûre à --force après un rebase
git push origin --delete old-feature
# Supprimer une branche distante
git push --tags
# Publier tous les tags locauxErreurs fréquentes
Plain --force can wipe out colleagues' commits. Use --force-with-lease instead. Pushing to main directly bypasses code review on many teams — set up branch protection. Forgetting -u means future git push commands need explicit arguments.
Commandes liées
git fetch, git pull, git remote, git tag