index a3edc0024600e34d956b8e8d76dd8a6a8bd6c8bd..7ba9dab5e6c0b32f927d24de800e17b71a06b84b 100644 (file)
A significantly faster version:
--------------------------------------------------------------------------
-git filter-branch --index-filter 'git update-index --remove filename' HEAD
+git filter-branch --index-filter 'git rm --cached filename' HEAD
--------------------------------------------------------------------------
Now, you will get the rewritten history saved in HEAD.