GitHubでリポジトリの削除

GitHubのリポジトリは簡単に作成できますが削除するのも簡単。
作ったもののちょっと都合が悪いので直したい、なんて場合も、
一旦削除して同じ名前のリポジトリを再作成したほうが
簡単なケースもあります。
また黒歴史を永久に消し去りたい場合もあるかもしれません。

削除は簡単です。
リポジトリのトップページのタブが並んでいる部分の右端の
[...]メニューから[Settings]を開き、[Options]メニューの
[Danger Zone]フレーム内の[Delete this repository]ボタンを押すと
削除手続きに進めます。
ただ削除すると完全に消えてなくなってしまうので、
削除の前にはローカルにきちんとバックアップしているかを
チェックすることをお勧めします。