Tengo un repositorio de git, en el que cambié el nombre de una carpeta a mayúsculas. Empujé con éxito el cambio, y cuando hago un git pull, solo obtengo el nuevo nombre de la carpeta, pero cuando voy a gitlab y veo mi rama, tengo las carpetas Foo y foo en mi rama.
¿Cómo elimino esto de mi repositorio?
2 respuestas
Si lo hacemos git log --follow [file] podemos ver el historial de cambio de nombre del archivo, pero esta no es una respuesta a la pregunta que hice inicialmente.
Básicamente, no es posible hacerlo
Depende de su servicio de alojamiento de repositorio remoto.
En GitLab, por ejemplo, puede ir a la carpeta que no desea y puede eliminar los archivos allí: esa carpeta desaparecerá.
Sería más fácil tener un botón "eliminar" para la carpeta en sí, pero aún está pendiente (número 3518)
La idea sigue siendo: intente solucionar el problema en el lado remoto (el servicio de alojamiento de repositorios de Git) en lugar de localmente (el clon local).
Luego clona de nuevo.
Nuevas preguntas
git
Git es un sistema de control de versiones distribuido de código abierto (DVCS). Utilice esta etiqueta para preguntas relacionadas con el uso y los flujos de trabajo de Git. NO USE la etiqueta [github] para problemas relacionados con Git simplemente porque un repositorio está alojado en GitHub. Además, no use esta etiqueta para preguntas generales de programación que involucren un repositorio de Git.
En Español