+ [10 years ago] nyuszika7h git init; touch README.md; git commit README.md -m 'Initial commit'; git remote add origin https://github.com/<username>/<repo>.git; git push --force
+ [10 years ago] nyuszika7h or you can also do this in an already cloned repo: git rm -rf .; touch README.md; git add README.md; git commit -m 'Initial commit'; git push --force
+ [10 years ago] knod 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?

message no. 91908

Posted by afl_ext in #github at 2015-05-03T09:36:56Z

I just dont know, I got so jealous about some repos having 100+ stars and forks and so on when those are just some website projects
+ [10 years ago] knod Is it a known bug?
+ [10 years ago] knod 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?
+ [10 years ago] lethosor knod: what filesystem are you using?
+ [10 years ago] lethosor does git recognize the change in local commits?
+ [10 years ago] knod lethosor: it seems to. I'm not sure how to check actually. And I'm on mac osx if that helps