Not to worry, I am a professional googler https://stackoverflow.com/questions/25976794/is-head-in-git-case-insensitive-on-all-platforms https://stackoverflow.c

Not to worry, I am a professional googler https://stackoverflow.com/questions/25976794/is-head-in-git-case-insensitive-on-all-platforms https://stackoverflow.com/questions/25976794/is-head-in-git-... ...I keep finding out neat new stuff about git plumbing.