GitHubでレポジトリをrenameする

renaming a repository - GitHub help

ざっくり言うとレポジトリの設定っぽいボタンをクリックして名前を変更するだけ。

ただしGitHubのURLルールとしてレポジトリ名が含まれているので
gitのremoteの設定を変更する必要がある。

remoteのURLを変更するためには以下のコマンドで。

$ git remote set-url origin new_url
# new_urlは新しいレポジトリのもの。