There was a pretty major security flaw in git (and probably numerous other tools) involving case-insensitive filesystems a month ago: https://github.com/blog/19

There was a pretty major security flaw in git (and probably numerous other tools) involving case-insensitive filesystems a month ago: https://github.com/blog/1938-vulnerability-announced-update-your-git-clients https://github.com/blog/1938-vulnerability-announced-update-... That's a pretty major downside, and I think the back story for his dislike of it.