How do I rename a GitHub repository via their API?

Question

Looking at the GitHub API reference at http://develop.github.com/p/repo.html, I see all sorts of good stuff, but I don\'t see any way to rename a repository through the API.

Answer 1

Create a new repo, push to it and delete the old one ?