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:
OLD=OldTagName ; git tag -d $OLD ; git push --delete origin $OLD
Por ultimo, para que todos los desarrolladores tengan las mismas etiquetas, deben ejecutar:
git pull --prune --tags