Eliminar directory en Git Repository que no se puede extraer a la PC

Mientras trabajaba en una Mac, mi IDE generó un directory que contenía el carácter : (dos puntos), que se envió al repository git. Cuando me puse a trabajar en mi PC más tarde, descubrí que no podía extraer el directory y recibí un error fatal: cannot create directory at... invalid argument error de fatal: cannot create directory at... invalid argument .

¿Cómo puedo eliminar o cambiar el nombre de un directory que no se puede eliminar?

Estoy usando GitHub.com, por lo que las soluciones que usan la interfaz del website también son aceptables.

Debe recordar que la git pull es en realidad un process de dos pasos. Primero usa la fetch para recuperar los files remotos. Luego intentará hacer una merge fast-forward para aplicar los cambios en la parte superior de su trabajo directamente.

Entonces usa fetch en el control remoto. Esto asegurará que tengas el cambio remoto establecido en tu git repo. Yo diría ejecutar el siguiente del repository git:

 ls | xargs -I'{}' git checkout -- '{}' 

pero dijiste que estás en un cuadro de Windows, por lo que es posible que tengas que pasar por el enlace y hacerlo manualmente. También esto supone que no se crearon nuevos files en la raíz de su repository.

Ahora, si realmente desea revertir la creación del directory, haga lo siguiente (esto supone que el control remoto como origin y la twig como master ).

 git update-ref refs/heads/master $(git rev-parse origin/master) git add --all . # amend the commit to remove the folder from history # only do this if you can rebase the remote w/o repercussion git commit --amend # otherwise just add a new commit on top of the old git commit 

Ahora mire los loggings para ver si todo se ve bien, y si lo hace, empuje hacia arriba hasta el control remoto (si utilizó --amend entonces tendrá que forzar el empuje).