Commit a cualquier hora

Saturday, 29 January 2022

Solo la fecha de autor:

git commit --date='2021-07-08 08:05:12' -m 'Commit message'

Establecer fecha de autor y commit:

GIT_COMMITTER_DATE="2021-07-08 08:10:04" git commit --date='2021-07-08 08:10:04' -m 'Commit message'

Cambiar la fecha de commit y autor del ultimo commit:

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:

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: