Comment supprimer une branche locale avec Git ? Comment supprimer une branche distante avec Git ? Comment supprimer un tag local via Git ? Comment supprimer une tag distant via Git?
Vous voulez faire une peu de nettoyage dans votre depôt Git ? Il y a des branches ou des tags qui ne sont plus utilisés ? Rien de plus simple, il suffit de les supprimer.
Il y a deux commandes similaires :
$ git branch -d [nom-de-ma-branche]
$ git branch -D [nom-de-ma-branche]
Les deux options renseignés sont assez facile à deviner :
-d
est l'abbréviation de --delete
qui indique de supprimer la branche-D
est l'abbréviation de --delete --force
qui permet la suppression peut importe si elle a été mergé ou pasLa deuxième commande nous servira beaucoup plus souvent.
Pour supprimer une branche distante, c'est un peu différent :
$ git push [origin] --delete [nom-de-ma-branche]
Le paramètre [origin]
étant le nom de votre dépot distant.
Maintenant que nous avons vue comment supprimer une branche locale ou distante, on peut s'attaquer aux tags !
En effet, ce qui est bien c'est que pour supprimer un tag, c'est pareil ( ou presque ).
Voici la version locale :
$ git tag -d [nom-de-mon-tag]
L'option --force
ne sera beaucoup moins utile dans le cas du tag.
Pour la version à distante :
$ git push [origin] --delete [nom-de-mon-tag]
Non non il n'y a pas de bug, Git est assez intelligent pour différencier les tags des branches.
Mais il vaut mieux éviter de donner le même nom à une branche et à un tag...