No? Usernames are optional in SSH URLs.
Which isn't always in sync with their GitHub username. Which might even be "root".