3 ms·
I had to change a username from capitalized to uncapitalized and use my updated remote afterwards, apologies if I broke it for everyone.
by kmfrk 9y ago
I had to change a username from capitalized to uncapitalized and use my updated remote afterwards, apologies if I broke it for everyone.
- cjbprime 9y agoIt's kmfrk's fault! Get them!
- drfuchs 9y ago"Git 'em!" FTFY.
- dguaraglia 9y agoDid you know that if you type "Google" in the Google search box you can break the internet? :| (BTW, this was meant as a joke... although I'm not discarding that kmfrk broke Github just yet!)
- mdaniel 9y agoTo the best of my knowledge, GitHub org and usernames in the URI are case-insensitive for both the website and clone URIs. I haven't tested ssh clone URIs to know if they are also insensitive, but I'd guess they are You would only need to change it if the "presentation" format bothers you (again, as far as I know)