From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 31 May 2011 21:54:05 GMT
Subject: Re: speed of git reset -- file
Message-ID: <7vpqmyilj6.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20110531212639.GA13234@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Conceptually, no, I don't think so.

Hmm, don't we have to say like all other reset types which paths are
dirty, i.e.

  $ git reset HEAD -- diff.c
  Unstaged changes after reset:
  M       diff.c
  M       diff.h

which would mean we would need to refresh the index anyway?