3 ms·> username has to be part of SSH URLs No? Usernames are optional in SSH URLs.by jwilk 3y ago> username has to be part of SSH URLs No? Usernames are optional in SSH URLs.ongy 3y agoBut then it defaults to the users username on device Which isn't always in sync with their GitHub username. Which might even be "root".cozzyd 3y agosurely anybody using GitHub via ssh knows how to edit their .ssh/config