Git : Supprimer une branche distante
Dernière mise à jour
Supprimer une branche en local ne la retire pas du dépôt distant - c'est une étape distincte. Pour supprimer une branche sur le dépôt distant (comme GitHub), exécutez git push origin --delete <branch>. Ensuite, d'autres clones peuvent encore afficher la branche jusqu'à ce qu'ils purgent les références de suivi distant obsolètes.
Essayez-les dans le terminal playground - un vrai shell dans votre navigateur, rien à installer.
Syntaxe
| Command | What it does |
|---|---|
git push origin --delete feature | Supprime feature sur le dépôt distant |
git push origin :feature | Ancienne syntaxe avec deux-points, même effet |
git branch -d feature | Supprime la branche aussi en local |
git fetch --prune | Retire les branches de suivi distant obsolètes |
Nettoyage complet
Retirez la branche partout et rangez les références obsolètes.
| Step | Command | Result |
|---|---|---|
| 1 | git push origin --delete feature | Supprimée du dépôt distant |
| 2 | git branch -d feature | Supprimée en local |
| 3 | git fetch --prune | Nettoie la référence de suivi origin/feature |
FAQ sur la suppression d'une branche distante dans Git
Comment supprimer une branche distante dans Git ?
Exécutez
git push origin --delete <branch>. Cela retire la branche du dépôt distant (par exemple GitHub). L'équivalent ancien est git push origin :<branch>. Supprimer la branche distante ne supprime pas votre copie locale - faites-le séparément avec git branch -d <branch>.Supprimer une branche locale supprime-t-elle la branche distante ?
Non.
git branch -d retire uniquement la branche de votre dépôt local. La branche reste sur le dépôt distant jusqu'à ce que vous la supprimiez explicitement avec git push origin --delete <branch>. Les deux sont indépendantes.Pourquoi la branche supprimée apparaît-elle encore ?
D'autres clones conservent les références de suivi distant (comme
origin/feature) jusqu'à ce qu'ils les purgent. Exécutez git fetch --prune (ou git remote prune origin) pour retirer les références aux branches qui n'existent plus sur le dépôt distant.Quelle est la différence entre --delete et la syntaxe avec deux-points ?
Elles font la même chose.
git push origin --delete <branch> est la forme moderne et plus claire ; git push origin :<branch> est l'ancienne syntaxe (pousser "rien" vers la branche distante, ce qui la supprime). Utilisez --delete pour la lisibilité.Puis-je m'entraîner en ligne ?
Oui. Ouvrez le terminal playground pour exécuter ces commandes dans un vrai shell dans votre navigateur - rien à installer. Le cours Git interactif et gratuit de Coddy couvre aussi le travail avec les dépôts distants étape par étape.
Ressources associées
Plus de commandes Git
