renaming a repository - GitHub help ざっくり言うとレポジトリの設定っぽいボタンをクリックして名前を変更するだけ。 ただしGitHubのURLルールとしてレポジトリ名が含まれているので gitのremoteの設定を変更する必要がある。 remoteのURLを変更するため…