diff options
author | Paul Collins <paul@briny.ondioline.org> | 2005-11-04 14:57:16 +0000 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-21 13:48:58 -0800 |
commit | f801477645146fd7eff018b4997b86dfa1a0767d (patch) | |
tree | 463a215c061858a9a1637e00f383998fb1809cd4 /Documentation/git-update-server-info.txt | |
parent | daemon: further tweaks. (diff) | |
download | tgif-f801477645146fd7eff018b4997b86dfa1a0767d.tar.xz |
proxy-command support for git://
Here is an updated patch that first looks for GIT_PROXY_COMMAND
in the environment and then git.proxycommand in the repository's
configuration file. I have left the calling convention the same
argv[1] is the host and argv[2] is the port.
I've taken the hostname parsing verbatim from git_tcp_connect(),
so it should now support an explicit port number and whatever
that business with the square brackets is. (Should I move this
to a helper function?)
Regarding internal vs. external hosts, the proxy command can
simply run netcat locally to internal hosts, so perhaps that is
sufficient.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-update-server-info.txt')
0 files changed, 0 insertions, 0 deletions