gitコマンドからGitHubにアクセスするにはSSHやHTTPSが使えますが、プロキシがアレな環境ではHTTPSを使う場合もあると思います。HTTPSではパスワード認証が必要ですが、GitHubのログインパスワードとは違うものを使う方法に今さら気づいたのでメモしておきま…