Cómo eliminar un archivo permanentemente en Git sin obtener "ADVERTENCIA: Ref 'refs/heads/master' no ha cambiado"?

Question

He estado buscando en Google y leer varios mensajes por la red y he intentado:

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch Launcher\lib" --prune-empty -- --all

y

git filter-branch --tree-filter "rm -rf Launcher\lib" --prune-empty -- --all

Todo lo que resulta en una:

ADVERTENCIA : Ref 'refs/heads/master' no ha cambiado

También hay otros clones de este repositorio y un servidor central. Presionaré los cambios en el servidor, según tengo entendido, ¿otros con clones solo necesitan recuperar y rebase (no combinar)? ¿Seguiría funcionando si hubieran hecho cambios?

Answer 1

Bien, resolví el problema, era el camino equivocado. He cambiado esto:

Launcher\lib

a esto:

Launcher/lib/

y ahora funciona;)

Answer 2

Voy a poner esto aquí como referencia en el futuro, ya que tenía la mismo problema: Si usa cmder (u otros sabores ConEmu), use comillas dobles en lugar de comillas simples.

también envolver la vía entre comillas si tiene algún espacio en blanco en su dirección:

git filter-branch --force --index-filter \ 
"git rm --cached --ignore-unmatch 'server/bin/some file.txt'" \ 
--prune-empty --tag-name-filter cat -- --all 

Ese era el problema cuando llegué a ese error.