I'm wondering whether ".gitignore in repository root directory" would be appropriate default anyway?

Thanks for this feedback!

As the Git docs state, "core.ignoreCase" is not expected to be changed by the user [1]: Git relies on the proper configuration of this variable for your operating and file system. Modifying this value may result in unexpected behavior.

[1] https://git-scm.com/docs/git-config#Documentation/git-config.txt-coreignoreCase

Sorry, Chris, I should have read more carefully.

Resolved in 19.1, SG-12544.

Seems to be a duplicate of https://smartgit.userecho.com/communities/1/topics/124-?

If so, please vote and comment there, then I will close this topic as duplicate.

This topic is about files from commits, not local (or Index) files.