I partially agree with you. It's bad to brigade against a random user out of the blue, but this is a useless censorship.

It's a pull request in an open-source project, it's not like people can't find it in literally 3 seconds...