index 8d80f0d074c92fccc2a9746c5f374c1626fdde97..506c37af7021e2e16caab5ffe72bca9bc2f28927 100644 (file)
git filter-branch --tree-filter 'rm filename' HEAD
-------------------------------------------------------
+However, if the file is absent from the tree of some commit,
+a simple `rm filename` will fail for that tree and commit.
+Thus you may instead want to use `rm -f filename` as the script.
+
A significantly faster version:
--------------------------------------------------------------------------