Does Github have a “ban” feature?
Few days ago a guy asked me on Github (as a private message) if UglifyJS can “obfuscate” code. I didn't reply, so today he felt the need to “ask me again”:

?!? WTF?
I had a strong urge to reply and throw some “polite” words at him, but I refrained. What good would it do to to me or to him if I enter the game? He's an idiot, and I don't see the fun about telling idiots that they're idiots; not anymore.
What I would like to see is a “ban” button. I want to click that button and never again hear about this guy, even if he mentions my name; and he should be banned from commenting to any of my projects (and forks!) or from sending me any private messages. That would be Good. Where's that button, Github?
Comments — add your comment
sadly, downside of ruling the world :-), is that one have to deal with idiots more often.
but it seems like github already have a “ban” feature, it's hidden behind the gear button next to "message" and "follow" on users page
Thanks, didn't know it. :-)
It makes sense for it to be in the user's page too, though in my case I would have expected to see it next to the message in my inbox.