I hope people take the high road here and dont make an example out of github members. People make mistakes. You dont need to delete their repo to show them. A friendly email will do.

Also Github, provide an option to protect those who are less security savy.