I've never given a permanent ban and I don't think I ever will, everyone can change and normally some time away from the server can help them change.
Yes he's been banned a few times but permanent ban is extremely harsh in my opinion.

for a shorter ban.