Re: What's cooking in git.git (Oct 2011, #04; Wed, 12)
- From
Jeff King <peff@peff.net>
- Date
- Oct 12, 2011, 19:02 UTC
- Message-ID
- <20111012190213.GA19578@sigill.intra.peff.net>
- In-Reply-To
- <7vipnu9hbj.fsf@alter.siamese.dyndns.org>
On Wed, Oct 12, 2011 at 11:48:48AM -0700, Junio C Hamano wrote:
> * jk/name-hash-dirent (2011-10-07) 1 commit > (merged to 'next' on 2011-10-11 at e2ea68b) > + fix phantom untracked files when core.ignorecase is set
I didn't see any comment on the original patch, so I assume you're OK with the few extra bytes added to each cache entry? Otherwise, I can try to retool it to keep the directory entries in a separate hash, so only case-insensitive people pay the extra price.
I did a few trivial timings, and the extra bytes didn't seem to make any difference.
-Peff