git push するときに ssh key を指定する

おなじみの direnv を使う。

.envrc をリポジトリがあるディレクトリに置いて下記を書く。

export GIT_SSH_COMMAND="ssh -i ~/.ssh/id_rsa_for_github_private -F /dev/null"

direnv allowすると環境変数が設定される。