git: GitHub で管理しているレポジトリの名前を変える

GitHub にて

レポジトリのページ
↓
Settings
↓
Repository Name

ここを変更。

local にて

.git/config を編集

[remote "origin"]
	url = git@github.com:hogehoge/古いレポジトリ名.git

[remote "origin"]
	url = git@github.com:hogehoge/新しいレポジトリ名.git

に変更