diff options
author | Mike Hommey <mh@glandium.org> | 2007-11-03 12:23:13 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-11-05 22:47:57 -0800 |
commit | 271bb08735435b859464c22506ba512f003a4191 (patch) | |
tree | 56b023aea0d669eb73f7126a244e7f43305168a9 /Documentation/git-request-pull.txt | |
parent | Use setup_work_tree() in builtin-ls-files.c (diff) | |
download | tgif-271bb08735435b859464c22506ba512f003a4191.tar.xz |
Don't always require working tree for git-rm
This allows to do git rm --cached -r directory, instead of
git ls-files -z directory | git update-index --remove -z --stdin.
This can be particularly useful for git-filter-branch users.
Signed-off-by: Mike Hommey <mh@glandium.org>
Acked-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-request-pull.txt')
0 files changed, 0 insertions, 0 deletions