Unix user と異なる user で git push する

端末で使用している user 名が GitHub の user 名と異なる場合，適切な秘密鍵を持っていたとしても Push 時に以下のようなエラーが表示される．

$ git push origin develop
Error: Permission to github-user-name/repo denied to unix-user-name.

明示的に user を指定する場合は，.ssh/config に Host を設定し，IdentitiesOnly を yes にする．

$ vi ~/.ssh/config
Host github.com
  HostName github.com
  User github-user-name
  IdentityFile ~/.ssh/id_rsa
  IdentitiesOnly yes