C[omp]ute

From: andrew cooke <andrew@...>

Date: Thu, 22 Feb 2018 16:53:19 -0300

Just in case anyone else has hit this (only applicable if you have
multiple github accts and use the HostName hack to select keys).


I have multiple github accounts (personal use and work), and each has
a separate ssh key.  This is described at
https://gist.github.com/jexchan/2351996

And that has always worked fine, until today.

Today I saw:

  > ssh -T git@...-isti
  Hi andrewcooke! You've successfully authenticated, but GitHub does not provide shell access.

which is WRONG.  with github.com-isti and the "trick" above, I should
be identified as andrewcooke-isti (and so cannot clone or pull or push
to any work code...)

The fix is to add "IdentitiesOnly yes" to the ssh config:

  > cat ~/.ssh/config

  Host github.com-isti
       HostName github.com
       User git
       IdentityFile ~/.ssh/id_rsa-isti
       IdentitiesOnly yes

I have no idea what changed (could this be OpenSuse config specific?),
but hopefully this will save someone else the pain of debugging...

Andrew