You can block a user if they're not interested in Playing Nicely Together. This is a great alternative to waiting until Godwin's Law rears its ugly head.
When you block a user, they can't add you as a collaborator. If they @mention you anywhere on GitHub, you won't receive any notifications.
In repositories you own, blocked users cannot:
- Open issues
- Fork the repository
- Send pull requests
- Comment on issues and pull requests
- Add or edit wiki pages
Tip: If you're blocking a user because of a heated conversation, consider locking the conversation so only collaborators can comment.
Visit the user's profile page.
In the upper-right corner of the profile, click .
In the drop down menu, click Block User.
Please contact support if you are repeatedly being harassed. GitHub does not tolerate abuse and will bring justice to your cause.