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

  1. 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.

Voir aussi