Mémo Git · Tags
Supprimer un tag
git tag -d <tag> · git push origin --delete <tag>
Un tag se supprime séparément en local et sur le remote : git tag -d <tag> retire le tag local, git push origin --delete <tag> le retire du remote.
Ce que ça fait
Retire un tag en local, et séparément sur le remote.
Un cas d'usage
Tu as tagué le mauvais commit.
En ligne de commande
git tag -d v1.2.0- Supprime le tag local.
git push origin --delete v1.2.0- Supprime le tag sur le remote.
git push origin :refs/tags/v1.2.0- Ancienne syntaxe, équivalente.
git tag -a v1.2.0 <bon-commit> && git push origin v1.2.0- Recrée le tag au bon endroit.
Dans Merathon
- Section « Tags », clic droit sur le tag → « Supprimer » (local) ou « Supprimer sur <remote> ».
Questions fréquentes
Le tag supprimé reste-t-il chez mes collègues ?
Oui, leur copie le garde. Ils peuvent le retirer avec git tag -d, ou git fetch --prune --prune-tags.