Hacker News Reader

Is there a way to ban specific users in your GitHub project?

(I prefer GitLab, I'm sure if it had projects that are as popular it would be similarly inundated.)

IIRC if one of the maintainers of a project blocks a user that prevents them from participating in issues and PRs.

For bigger projects with many maintainers that can also lead to problems if people use the block function as liberally as on Twitter.