リポジトリのリネームについて

GitHubに作ってあるリポジトリの名前を変更したいなーと思うようになったのですが、
ふとリポジトリのリネームをしたらどうなるのか知らなかったので試してみました。

ここで試したかったのは、

• リネームしたら以前のリポジトリ名でアクセスするとどうなるのか
• リネームする前と同じ名前のリポジトリ名の新しいリポジトリは作れるのか

です。

まあ結論として

• 以前のリポジトリ名でアクセスするとリダイレクトされる
• 以前のリポジトリ名でリポジトリは作れる
• 以前のリポジトリ名で作った新しいリポジトリにアクセスすると当然リダイレクトはされない

でした。

こういうのってGitHubのヘルプとかに書いてあるのかな？
まあ、できるだけ名前を変えない方が良いのでしょうけどねー。

追記：
以前のリポジトリ名で作った新しいリポジトリを消して、以前のリポジトリ名にアクセスするとリネームしたリポジトリにリダイレクトされました。
なかなかこう、いい感じに動いてくれるんだねGitHubは。さすがというかなんというか。