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.
This is a small Php script I wrote in 2005 to detect the browser heads and redirect the user to the appropriate version of the website
Seeing something unexpected? Take a look at the
GitHub profile guide.