Comment by larusso

Ah cool. I worked around by storing the public keys in my dot repo and use the identity file ssh config option for said host. Great if I don’t have to do this anymore.

Next level config madness: Use different ssh keys per GitHub org ;).