title: How do I rename a GitHub repository via their API?
body: <p>Looking at the GitHub API reference at <a href="http://develop.github.com/p/repo.html" rel="noreferrer">http://develop.github.com/p/repo.html</a>, I see all sorts of good stuff, but I don't see any way to rename a repository through the API. Is there any way to do so?</p>