Renombrar ficheros con git

Para renombrar un fichero que está dentro de un repositorio git y seguir haciéndole seguimiento, se pueden utilizar los comandos individuales:

mv nombre_antiguo nombre_nuevo
git rm nombre_antiguo
git add nombre_nuevo

o usar el atajo

git mv nombre_antiguo nombre_nuevo

Ambas opciones son equivalentes.

Si después se quieren ver los commits que han afectado a ese archivo, con

git log nombre_nuevo

sólo se obtendrán los commits realizados desde el cambio de nombre. Si se quieren visualizar todos los commits que le han afectado, incluyendo los anteriores al cambio de nombre, se puede realizar mediante:

git log --follow nombre_nuevo