instructions to delete repo

[mdb15106]

You can delete a repo by going to the Settings tab in the repo. This should default to the Options tab of the repo settings. Scroll to the bottom of the options tab and there's a button to permanently delete the repo.