On Sat, Feb 15, 2014 at 9:28 PM, Nguyễn Thái Ngọc Duy <[email protected]> wrote:
> Refreshing index requires work tree. So we have to 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.
>
> Reported-by: Patrick Palka <[email protected]>
> Signed-off-by: Nguyễn Thái Ngọc Duy <[email protected]>

Thanks!  I can confirm that this change fixes my use case.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to