We are in talks with GitHub about how to avoid this sort of behavior in the future.
Thanks for your concern, John!