Puede que parezca que es innecesario hacer este tipo de cambios con Git, pero cuando te encuentras en la necesidad o solo por toc quieres cambiar una letra de minúscula a mayúscula de un directorio o archivo, por ejemplo ordenboton para OrdenBoton a git le cuesta un poco más reconocer este tipo de cambios y puede que se pierda el cambio o genere algún conflicto, en estos casos es una buena práctica actualizar el nombre directamente con git.