From: Petr Baudis Date: Tue, 22 Jul 2008 22:24:35 GMT Subject: [PATCH] Documentation/git-filter-branch: Remove Useless Use of Plumbing Message-ID: <20080722222418.15372.62190.stgit@localhost> The example to remove file using index-filter uses git update-index --remove where git rm --cached works as well. Signed-off-by: Petr Baudis --- Documentation/git-filter-branch.txt | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index a3edc00..7ba9dab 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -191,7 +191,7 @@ Thus you may instead want to use `rm -f filename` as the script. 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.