...and for good reason too. Go back and read his comment history before you warn him.
I agree with anthonyb though, you should probably make sure they're not actually trolls before pointing it out.
"Adria Richards is an evil cunt.
SendGrid is a shit company that I would never want to work for."
Not exactly stellar material.
But yes, this ban is probably deserved.