TRABAJANDO CON GIT: ELIMINAR UN TAG REMOTO

Siguiendo con los mini tutoriales Git, hoy publicamos uno que nos ayudará a eliminar un tag que ya se encuentra el repositorio remoto. En el caso, por ejemplo, de querer eliminar el tag v0.1, ejecutaríamos los siguientes comandos:

$ git tag -d v0.1
$ git push origin :refs/tags/v0.1

Yendo un poco más allá con este tema, podríamos ver también cómo renombrar un tag en un repositorio Git. Pongamos el caso que queremos cambiar el nombre del tag v0.8 por v1.0. Lo que haremos será crear un nuevo tag v1.0 apuntando al mismo nodo que el tagv0.8 que ya no queremos, eliminamos este último del repositorio local, y tal y como hemos visto más arriba, si es el caso, hacemos push del tag para eliminarlo del repositorio remoto:

$ git tag v1.0 v0.8
$ git tag -d v0.8
$ git push origin :refs/tags/v0.8

Recordamos que para subir nuevos tag al repositorio remoto tenemos que ejecutar el siguiente comando:

$ git push --tags