2026年1月14日 githubでrepositoryの名前のrenameをしても reponame is availableと表示されるだけで変わらない renameをクリックだとダメで、入力後エンターを押すと変更できた。