8
En un repositorio de Git, ¿cómo cambiar el nombre de un directorio correctamente?
Creo que debería funcionar para copiar el directorio para cambiar el nombre a un nuevo directorio con el nombre deseado y eliminar el directorio de edad , y git add, git commity pushtodo. ¿Pero es esta la mejor manera?