Pude encontrar una manera en el sitio web de GitHub para cambiar el nombre de un solo archivo y lo hice con éxito. También pude encontrar una manera de cambiar el nombre de un repositorio completo y lo hice con éxito. ¿Alguien sabe cómo hacer esto en un solo directorio sin usar la línea de...