core.gitproxy and non-git protocols

Hi,

The part of the git-config documentation that covers core. gitproxy is incorrect: you can't use the core.gitproxy setting to use a proxy command for ssh://, nor to create your own faux-protocols. In the git_connect function (connect.c), it only references git_proxy_connect (and thus the core.gitproxy setting) if (protocol == PROTO_GIT).

I have a situation where I'd like to push to a remote git repository on a machine that is a little weird to access, so I need two different types of ssh'ing to reach it depending on my location. That is easily scriptable, which is how I did it with SVN (ended up with a svn+voltron:// protocol), but is not currently possible with git.

It'd be great if (a) the documentation could be fixed, or (b) the proxy-picking code could be at least extended to ssh:// protocols, and preferrably extended to defining custom protocols.

Thanks,

Dave.