Suggestion from: programster
I really like how github forces you to type in the name of the repository in order to delete it. This would probably be too much for other people, but would be really neat if I could turn on this feature in admin preferences.