Githubに置いている公開鍵を簡単に取ってこられることを友人から教えてもらったのでメモ
結論
Githubに置いている公開鍵は https://github.com/settings/keys から確認できる。
この公開鍵の一覧はhttps://github.com/ユーザ名.keysで取得することができる。
これを使えば公開鍵をSSHサーバのauthorized_keysファイルに書き込む際に、
$ (echo; curl https://github.com/ユーザ名.keys) >> ~/.ssh/authorized_keys
のようにすればscpで公開鍵を送信したりする手間が省ける。