I couldn't find a way to get my or other people's public key from Github, but the Ubuntu Server installer can.
How can it and how could I get an ssh public key via GitHub username in a script myself?
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It only takes a minute to sign up.
Sign up to join this communitycurl -O https://github.com/<username>.keys
curl -O https://gitlab.com/<username>.keys
will retrieve the public keys uploaded for the given username. Both github and gitlab work.
In this particular instance ssh-import-id retrieves an SSH key from GitHub for you. The tool can import from both GitHub and Launchpad. Normally the tool takes the retrieved key and adds it to your authorized keys file which is what Ubuntu Server would have been doing. The manual page outlines the mechanics of the specific API calls it makes to retrieve the key.
In addition to Rinzwind's answer, Github has an API for this.
The API is not the URL described by Rinzwind, but it appears to be in addition to that.