PJ Weisberg <pj@xxxxxxxxxxxxxxxxxxxxxxxx> writes: > 2012/3/22 Junio C Hamano <gitster@xxxxxxxxx>: >> Zbigniew Jędrzejewski-Szmek <zbyszek@xxxxxxxxx> 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,... Read the messages in the thread you are responding to. It is a discussion about how we update the documentation to say it. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html