delete - ¿Cómo eliminar un archivo de forma permanente en Git sin obtener "ADVERTENCIA: Ref ''refs/heads/master'' no ha cambiado"?

git rewrite file history

Question

He estado buscando en Google y leyendo varios mensajes en la red y lo 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 un:

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

Hay otros clones de este repositorio y un servidor central también. Presionaré los cambios en el servidor, como entiendo, otros con clones solo necesitan recuperar y volver a generar (no fusionar). ¿Seguiría funcionando si hubieran hecho cambios?

Answer 1

Bien, resolví el problema, era el camino que estaba mal. Cambié esto:

Launcher/lib

a esto:

Launcher/lib/

y ahora funciona;)

Answer 2

Pondré esto aquí como una referencia futura ya que tuve el mismo problema: si usa cmder (u otros sabores de ConEmu ), use comillas dobles en lugar de comillas simples.

También incluya la ruta 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 fue el problema cuando recibí ese error.