Section B.6 Deleting a Repository
So you really to delete a repository? Think long and hard about this one. Are you sure? Are you really sure? Deleting repos is irreversible and can have lasting effects. For instance, all forks will be broken, but not deleted. If you delete a private repo, all forks will also be deleted. Any website that contains a link to your repo will no longer work and people might wonder where it went. And so on.
But here you are, so clearly you have decided to delete one. To delete a repository, you have to enter the danger zone (Top Gun anyone?).
(a)
Navigate to the repo you want to delete.
(b)
Click on the Settings tab. This should be the settings for the repo itself, not the general settings for your profile.
(c)
Scroll all the way down to the Danger Zone.
(d)
Click on “Delete this repository”
(e)
Read the dialog box that pops up. Once you have decided to delete the repo, type in what GitHub prompts you to type in and hit confirm.
