Comment Comment by kentwistle Found out about this today, you can prepend any GitHub username with .keys to fetch their public keys. parent kentwistle 12 years ago