message no. 91983
Posted by knod in #github at 2015-05-04T00:36:16Z
I'm changing the case of my names locally, but when I push to github, the github file names stay all lower case. If I change characters in the name, they change just fine. Any idea what's going on? Is the only way to fix it going to be to change the characters of the names, then change everything back?