[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.