I was kind of thinking that we'd wait and see if/when this bit us before I did that.  I don't really like the idea of scripting something that deletes objects from github.

We can discuss further if you like, though.