diff options
| author |  Petr Baudis <pasky@suse.cz> | 2008-07-23 00:24:35 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-07-23 16:57:14 -0700 |
| commit | eb72a51407228c8c7947e762d4f1c320712c9052 (patch) | |
| tree | 224de9acae00156d2e8125be453e4652795824b1 /contrib/examples | |
| parent | git daemon: avoid waking up too often (diff) | |
| download | tgif-eb72a51407228c8c7947e762d4f1c320712c9052.tar.xz | |
Documentation/git-filter-branch: teach "rm" instead of "update-index --remove"
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>
Diffstat (limited to 'contrib/examples')
0 files changed, 0 insertions, 0 deletions