Cómo borrar tags de Github

Si por ejemplo deseo borrar un tag llamado "1.0-stable-php-5.2"

Borro en local:

git tag -d 1.0-stable-php-5.2

Borro en el repositorio:

git push origin :1.0-stable-php-5.2

Atentos a los dos puntos delante del tag al hacer el push.

Actualización: He escrito el artículo dos veces, el original aquí: http://www.harecoded.com/borrar-tag-github-u-remoto-1612712 :P