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.

Blocking a user

  1. Visit the user's profile page.

  2. In the upper-right corner of the profile, click . Profile stop button

  3. In the drop down menu, click Block User. Block user dropdown

Please contact support if you are repeatedly being harassed. GitHub does not tolerate abuse and will bring justice to your cause.

Further reading