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

Notas sobre uso de git

Saturday, 21 January 2017

Comandos típicos

Mirar la historia:

git log

Mirar la historia en forma de grafo:

git log --graph --oneline --all

Preparar ciertos ficheros para commit: