Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
I took a glance at the documentation part of this, and none of it seemed wrong, but I didn't look that hard, this wasn't really for that. Includes …
Seeing something unexpected? Take a look at the
GitHub profile guide.