#git bot interface

History of !multiple_id

• git by itself does not allow you to specify which SSH key to use when speaking to a remote. You can use ssh_config+remote hostname tricks to achieve this goal: http://superuser.com/questions/272465/using-multiple-ssh-public-keys
  By EugeneKay at 2013-08-25 22:57:43
• http://superuser.com/questions/272465/using-multiple-ssh-public-keys
  By EugeneKay at 2012-03-10 23:02:06