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.

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

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