git: no se puede eliminar el file permanentemente del repository

Estoy tratando de eliminar un gran file binary de 100MB de mi repository. Seguí estas instrucciones, detalladas aquí:

http://stevelorek.com/how-to-shrink-a-git-repository.html

Las instrucciones se basan en el command:

git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all 

Cuando volví a ejecutar el script, después de supuestamente eliminar el file, de hecho desapareció. Pero luego, cuando cloné el repository de nuevo, después de presionar los cambios, el file estaba de vuelta otra vez.

¿Cómo puedo aplicar los cambios después de eliminar el file grande?

 git push origin --force --all 

simplemente no lo cortará.

EDITAR: el file se ha eliminado hace 2 años, por lo que no hay nada que confirmar / eliminar. Traté de crear una confirmación ficticia con algunos files adicionales, todavía no ir.

Terminé convirtiendo el repository local y limpio en un repository vacío, mencionado aquí y reemplazando el antiguo repository desnudo.

Todavía no tengo idea de por qué no pude aplicar los cambios al repository central.

Puede usar BGF para hacer tales limpiezas.

Simplemente presionando los nuevos commits limpiados, no se limpiará el otro repository siempre y cuando los viejos commits aún estén disponibles.