git pullなどをするときに常にuser/passを聞かれるのが面倒だったので、公開鍵を登録しなきゃなと思っていたのですが、後回しになっていました。GitHubにSSH公開鍵をやっと登録したので作業ログをまとめます。