Re: Trying to use insteadOf trick to use different SSH keys for separate github accounts - not working

2017-12-16 Thread Asfand Qazi
Thanks it worked! I was reading all the tutorials wrong all this time... Regards, Asfand On 16 December 2017 at 09:48, Jeff King wrote: > On Sat, Dec 16, 2017 at 07:50:02AM +, Asfand Qazi wrote: > >> I found out about the 'insteadOf' setting, and thought it would work.

Re: Trying to use insteadOf trick to use different SSH keys for separate github accounts - not working

2017-12-16 Thread Jeff King
On Sat, Dec 16, 2017 at 07:50:02AM +, Asfand Qazi wrote: > I found out about the 'insteadOf' setting, and thought it would work. > So I added this to my global git config: > > [url "g...@github.com:MyCompany/"] > insteadOf = g...@work.github.com:MyCompany/ > > and left the SSH hostname

Trying to use insteadOf trick to use different SSH keys for separate github accounts - not working

2017-12-15 Thread Asfand Qazi
Hello, Here's what I'm trying to do, that i need your help with to make work: I have 2 github accounts, each with their own SSH key: my home account (default SSH key) and my work account (alternative SSH key). I can create a virtual hostname in my ~/.ssh/config like so: Host work.github.com