Gestion de etiquetas con Git

Wednesday, 17 February 2021

Renombrar etiqueta, en local y remoto:

OLD=OldTagName ; NEW=NewTagName ; git tag $NEW $OLD ; git tag -d $OLD ; git push --delete origin $OLD

Una vez renombradas todas las etiquetas, hay que subir las nuevas al remoto:

git push --tags

Eliminar una etiqueta, en local y remoto: