Cómo borrar un tag de GitHub u otro remoto

No resulta muy obvio cómo se pueden eliminar los tags de Github. Incluso hay algunos tutoriales por ahí que no funcionan. Estos son los dos comandos que utilizo yo únicamente para borrar los tags que pongo y quito en el proyecto de SIFO en Github.

El listado de tags del repositorio local se puede sacar fácilmente usando el comando git tag, por ejemplo:

artomb@petekaner:~/htdocs/sifo$ git tag
sifo-1.9
sifo-2.1
sifo-2.2
stable-php-5.2
stable-php-5.2-last-commit

Esto es una lista de todos los tags disponibles en mi repositorio local. Si ahora decidimos que queremos borrar el tag"stable-php-5.2" de local y de remoto entonces haremos:

git tag -d stable-php-5.2
git push origin :stable-php-5.2

Atentos a los dos puntos delante del tag! El primer comando lo borra del repositorio local, y el segundo del remoto. Y listos!