Github.comのリポジトリ名が変わらないと思ったあなた！

紛らわしい仕様となっているようです。

各リポジトリの「settings」から変更するのですが、隣の「rename」ボタンはあくまでその名前が使えるかの確認だけです。
変更するには「enter」キーを押します。

書いときなよ！

これだけで10分ほど使いましたよ、とほほ・・・。