I mean, it's their loss I guess. They made the decision to exclude someone from the community, and a pull request is another form of communication.

I wouldn't want to be the one auditing every piece of code from someone who is "banned" either -- it only takes a few lines to insert a backdoor.