I can understand why he would be banned from Discourse and such, but I don’t think it’s in the best interest of the community to ban him from GitHub. His technical contributions are objectively useful and meaningful.
16 Likes