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?