Re: git reset for index restoration?
- From
Jeff King <peff@peff.net>
- Date
- May 22, 2014, 19:09 UTC
- Message-ID
- <20140522190959.GA18785@sigill.intra.peff.net>
- In-Reply-To
- <1400785669.18134.21.camel@stross>
On Thu, May 22, 2014 at 03:07:49PM -0400, David Turner wrote:
Show 10 quoted lines
> On Thu, 2014-05-22 at 14:39 -0400, Jeff King wrote: > > does show some improvement. Perhaps "git reset" is not writing out the > > cache-tree extension? > > Yes, that seems to be exactly what is going on; the two indexes are > identical up to the point where the TREE extension appears. > > Thanks for clearing that up! > > Do you think that this is a bug in git reset?
Possibly. There is a call to prime_cache_tree in builtin/reset.c, which looks like it should trigger during a "mixed" or "hard" reset (and without arguments, you should have a mixed reset). But it doesn't seem to get called. I haven't traced it further.
-Peff