I wonder if GitHub is still running a patched openssh...
Just buy a copy of GitHub Enterprise, deobfuscate the files (it's a fun challenge to deobfuscate them, and not all that hard), and look around to see.
It's unfortunately not open source, so we can't share and talk about the code, link to it on GitHub, or anything like that, but if GitHub Enterprise is still using such a patch, it's like the prod github is too.
No? Usernames are optional in SSH URLs.
Which isn't always in sync with their GitHub username. Which might even be "root".