[fishywang]

I think that's only ssh keys, not including gpg keys.

[dkanejs]

You can use https://github.com/<username>.gpg

[vorpalhex]

There is a messy one-liner to get public gpg keys from Github but you have to call their API and parse the JSON response using `jq` or such.

[yencabulator]

And once age-tool.com is ready it'll happily encrypt to SSH keys ;-)