title: How do I rename a repository on GitHub?
body: <p>I wanted to rename one of my repositories on GitHub, but I got scared when a big red warning said:</p>
  
  <blockquote>
    <ol>
    <li>We will not set up any redirects from the old location</li>
    <li>You will need to update your local repositories to point to the new location</li>
    <li>Renaming may take a few minutes to complete</li>
    </ol>
  </blockquote>
  
  <p>Does anyone have step-by-step instructions on how to accomplish #1 and #2 manually? Or what do I have to do locally?</p>