GitHubさんgpg公開鍵もどこかで公開してくれてたっけ
GitHubさんからgpg公開鍵を得るにはAPIにアクセスする必要があったね
https://mitome.in/misc/git.html
@lo48576 おぉ!!そんなのもあるんだ!と思ったけれど複数登録してある場合にどれか1つしか得られなさそうかもですねー。
@zundan 今確認してみましたが、複数登録されていてもまとめて突っ込まれてるっぽい雰囲気があります (いや gpg コマンドよくわかってないのでローカルと照合されているだけの可能性もありますが……)
@lo48576 ほんとだ!! 公開鍵2つ分が1つのASCII Armorに入ってるようです。そんなこともできるんだなあ…
https://mitome.in/openpgp/keypair.html