From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 07 May 2013 04:54:46 GMT
Subject: Re: [PATCH v3] Enable minimal stat checking
Message-ID: <7va9o7o0dl.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20130506232242.GA27393@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> On Tue, Jan 22, 2013 at 08:49:22AM +0100, Robin Rosenberg wrote:
>
>> Specifically the fields uid, gid, ctime, ino and dev are set to zero
>> by JGit. Other implementations, eg. Git in cygwin are allegedly also
>> somewhat incompatible with Git For Windows and on *nix platforms
>> the resolution of the timestamps may differ.
>
> This is an old commit, but I noticed a bug today...
>
>> This change introduces a core.checkstat config option where the
>> [...]
>> +core.checkstat::
>> [...]
>> +	if (!strcmp(var, "core.statinfo")) {
>
> One of these is not like the others. I didn't prepare a patch, though,
> because I wasn't sure which it was supposed to be. A documentation bug
> or a code bug? :)

I'd say checkstat reads much better than statinfo.