diff options
| author |  Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2014-02-16 09:28:03 +0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2014-02-18 14:40:23 -0800 |
| commit | b7756d41dcc6720e6005b663bcb6f8b2f2a66763 (patch) | |
| tree | ec80ffdea3b9a1564c78cd749b30f0e87e440bad /Documentation/git-repo-config.txt | |
| parent | Git 1.8.5.5 (diff) | |
| download | tgif-b7756d41dcc6720e6005b663bcb6f8b2f2a66763.tar.xz | |
reset: optionally setup worktree and refresh index on --mixed
Refreshing index requires work tree. So we have two options: always
set up work tree (and refuse to reset if failing to do so), or make
refreshing index optional.
As refreshing index is not the main task, it makes more sense to make
it optional. This allows us to still work in a bare repository to update
what is in the index.
Reported-by: Patrick Palka <patrick@parcs.ath.cx>
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-repo-config.txt')
0 files changed, 0 insertions, 0 deletions