Thanks for sharing this Postmodern.
TIL @github exposes the ssh public keys for users. github.com/defunkt.keys Handy for adding devs to servers/repos.— Postmodern (@postmodern_mod3) February 10, 2013
So never again should you have to ask, "What's your public ssh key?" You can just
curl -O https://github.com/<username>.keys their public keys from GitHub and move on.