Git filesystem case-insensitive to case-sensitive system broken

Hello,

I was doing development on a linux box on AWS, when we found a code bug that had me switching to running the code on a Mac instead. We discovered that we had accidentally named two files the same when looked at case-insensitively, which made git commands afterwards display the wrong thing. It looked like this (ignoring some things that aren't relevant):

$ git status

   modified:   tests/test_system/show_19_L.txt

no changes added to commit (use "git add" and/or "git commit -a")

$ git checkout tests/test_system/show_19_L.txt

$ git status

   modified:   tests/test_system/show_19_l.txt

no changes added to commit (use "git add" and/or "git commit -a")

$ git checkout tests/test_system/show_19_l.txt

$ git status

   modified:   tests/test_system/show_19_L.txt

no changes added to commit (use "git add" and/or "git commit -a")

$ diff tests/test_system/show_19_L.txt tests/test_system/show_19_l.txt

$

Those two files are different in our repo, and as such git thinks that we modified one of them when we try and pull it down from github again.

Thanks for looking at this! -- Steven