Re: [RFC] Case insensitive Git attributes

Hi Lars,

On Sun, 16 Oct 2016, Lars Schneider wrote:

One idea could be to add an attribute "case-sensitive" (or
"caseSensitive") and set it to false (if desired) for all files in
.gitattributes for a given repo.

### .gitattributes example ###

* case-sensitive=false
*.bar something

###

Hrm. Maybe a better idea would be to warn when attributes match a file
name with a different case?

Ciao,
Dscho