FOCS maintainer for almost everything.
The note is not visible to the blocked user.
So it is the default behavior of git.
So is the forbidden check case sensitive or insensitive now?
https://git-scm.com/docs/git-config/2.14.6#Documentation/git-config.txt-coreignoreCase
Done.