GitHub に登録している公開鍵は https://github.com/<username>.keys から取得できる。
たとえばブラウザーで https://github.com/torvalds.keys を表示すると Linus Torvalds 氏の公開鍵が取得できる。
これだけ。
自分は AWS の EC2 のインスタンスを立てたら curl とか wget でチームメンバーの公開鍵を GitHub からダウンロードして $HOME/.ssh/authorized_keys に突っ込んだりしてる。
たまに公開鍵を登録していないメンバーがいると「ワイだけ EC2 にログインできないんだけど」みたいなことがあるかもしれないけど、そもそも EC2 を使う機会自体が減ってきていてあまり困ることはなさそうなので、そんなには気にしていない。
