Earlier quoted context omitted.
So subdomains can be arbitrary and you just manually add them when performing git clone? Will then git push/pull/etc automatically use the fake subdomain you like for this repository?
You can have anything you’d like in your ssh config and it will be treated as a server name for auth and auto completion. So “work-github” can be a Host entry (with a HostName of github.com) and key A. While “play-github” would use key B.
Of course, I can test it myself, but since somebody already does that I assumed I could just ask.