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

Maybe:

--- 8< ---

When set, case-insensitive comparisons will be used when internally
comparing file names.

The default is false, but when a new repository is created by
git-clone[1] or git-init[1], git will probe the filesystem and set it
to `true` if the filesystem is case-insensitive.

On case-insensitive filesystems like FAT, NTFS and HSF+, names that
differ only in capitalization, like "Makefile" and "makefile", refer
to the same file. While such filesystems usually preserve the
capitalization used during file creation, tools designed for such
filesystems will often modify capitalization when saving files and
when displaying filenames. Enabling core.ignorecase causes git to
ignore case-only differences in file names.

Enabling core.ignorecase on a case insensitive filesystem does
not make sense, because filenames with different capitalization will
still be treated as different by the filesystem.

--- >8 ---