From: Michael S. Tsirkin <mst@mellanox.co.il>
Date: Thu, 02 Nov 2006 09:07:17 GMT
Subject: how to pass ssh options to git?
Message-ID: <20061102090717.GE7468@mellanox.co.il>

How is it possible to pass ssh options to git?
for example, I use these options to log into some machine:
ssh -i <private> -o HostKeyAlias=<alias> -p <port> -l <user> <address>

However, git will only let me specify the user name on command line as part of
the URL.  I am guessing something can be done using core.gitProxy?



--