This is a pointless argument because I doubt Github or anyone who uses this message seriously considers it to be a security measure. Github's usernames are abso

This is a pointless argument because I doubt Github or anyone who uses this message seriously considers it to be a security measure. Github's usernames are absolutely public. But they also have so many users that I suspect the wrong username is typed all the time. So yes, sometimes maybe the username is wrong.