Code

Documentation/git-filter-branch: teach "rm" instead of "update-index --remove"
authorPetr Baudis <pasky@suse.cz>
Tue, 22 Jul 2008 22:24:35 +0000 (00:24 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 Jul 2008 23:57:14 +0000 (16:57 -0700)
The example to remove paths using index-filter was done with
"git update-index --remove"; "git rm --cached" would be more familiar to
new people and is sufficient for this particular case.

Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-filter-branch.txt

index a3edc0024600e34d956b8e8d76dd8a6a8bd6c8bd..7ba9dab5e6c0b32f927d24de800e17b71a06b84b 100644 (file)
@@ -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.