[PATCH] Documentation/git-filter-branch: Remove Useless Use of Plumbing

From

Petr Baudis <pasky@suse.cz>

Date

Jul 22, 2008, 22:24 UTC

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 <pasky@suse.cz>
---

 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.