title: Renaming files in git
body: <p>I have two files checked into GitHub:</p>
  
  <ol>
  <li>index.html</li>
  <li>backup.html</li>
  </ol>
  
  <p>Now I want to rename <code>backup.html</code> into <code>index.html</code> and vice versa. I don't really care about maintaining the change history for each file. How do I do this in Git?</p>