Is this supposed to prevent him from doing further damage? I hope this isn't the beginning of something ugly with GH.
But it didn't stop anyone else - and Egor at least very clearly showed that he was not malicious.
_If_ something had happened then the reaction would have been totally different. "Why didn't GH ban him when they could have before the damage was done?"
Uh? It takes about 5mn to create a new GH account and push a new set of keys, it's not like killing his account does anything aside from annoying him.