Re: [PATCH] Demonstrate failure of 'core.ignorecase = true'

[PJ Weisberg <pj@irregularexpressions.net>]

2012/3/22 Junio C Hamano <gitster@pobox.com>:
> Zbigniew Jędrzejewski-Szmek  <zbyszek@in.waw.pl> writes:
>
>> Even this updated text does not say _what_ happens when
>> core.ignorecase is set on a case-insensitive filesystem.
>
> That was very much on purpose. We tell users not to do that, because it is
> calling for an undefined behaviour. And leaving it undefined gives us a
> wiggle room to later do something better if we choose to.

Where do you tell users not to do that?  Nothing on the man page
actually says that the behavior is undefined, but it does seem to be
weird.  Rename default.asp to Default.asp, and Git reports that
default.asp was deleted, but doesn't mention Default.asp.  (Presumably
it sees Default.asp and decides that it's the same as default.asp,
which it already determined was deleted.  Like I said, weird.)

-PJ

Gehm's Corollary to Clark's Law: Any technology distinguishable from
magic is insufficiently advanced.