I'm not sure how HR has handled it but within a few hours of him starting all of his access was revoked (email, slack, github, etc). I imagine HR fired him but I don't actually know what the official status is.

I'm so dumb that this question didn't even occur to me :-)