Git: remote tag entfernen

Wenn man bei Git ein remote tag entfernen möchte, entfernt man es erst lokal und dann im entfernten Repository.


git tag -d tag-name
git push origin :refs/tags/tag-name