commit | b7756d41dcc6720e6005b663bcb6f8b2f2a66763 | [log] [tgz] |
---|---|---|
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | Sun Feb 16 09:28:03 2014 +0700 |
committer | Junio C Hamano <gitster@pobox.com> | Tue Feb 18 14:40:23 2014 -0800 |
tree | ec80ffdea3b9a1564c78cd749b30f0e87e440bad | |
parent | 7bbc4e8fdb33e0a8e42e77cc05460d4c4f615f4d [diff] |
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>