[PATCH] Documentation/git-filter-branch: Remove Useless Use of Plumbing
From: Petr Baudis <hidden>
Date: 2016-06-15 22:44:59
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
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 <redacted> --- 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.