title: Are Git repository names case sensitive?
body: <p>I realize that changing the name of a Git repository is not a trivial task, and I read the answer to <a href="https://stackoverflow.com/questions/5751585/change-repo-name-in-github">this question</a> which describes how to change the repository name in the general case (I am also using GitHub).</p>
  
  <p>However, I will only be changing the <em>case</em> of the repository name, e.g. <code>Abc</code> to <code>abc</code>. Therefore, can I simply change the name in the settings page of my repository on GitHub and be all set? Or do I still need to follow the steps outlined in the previous link?</p>