Comment by crabmusket
8 hours ago
That is neat trick, and interesting to know that's how ssh git@github.com works, but that does not feel practical for a real usecase. Aside from relying on a scrape of the Github users API (there's no "look up user by pubkey" API), what if I wasn't expecting to automatically log in with Github?
Wouldn’t that be solvable with subdomains? Eg
ssh crabmusket.github.exe.dev
Absolutely. For example, if I use specific SSH keys for specific hosts.