Dan Bornstein <danfuzz@xxxxxxxx> writes: > In particular, it can get called with four arguments if you happen to > be referring to a repo using the ssh:// scheme with a non-default port > number. > > Signed-off-by: Dan Bornstein <danfuzz@xxxxxxxx> > --- > Documentation/git.txt | 9 ++++++--- > 1 files changed, 6 insertions(+), 3 deletions(-) Looks good. Thanks. > diff --git a/Documentation/git.txt b/Documentation/git.txt > index 7efaa59..4307d62 100644 > --- a/Documentation/git.txt > +++ b/Documentation/git.txt > @@ -774,9 +774,12 @@ other > If this environment variable is set then 'git fetch' > and 'git push' will use this command instead > of 'ssh' when they need to connect to a remote system. > - The '$GIT_SSH' command will be given exactly two arguments: > - the 'username@host' (or just 'host') from the URL and the > - shell command to execute on that remote system. > + The '$GIT_SSH' command will be given exactly two or > + four arguments: the 'username@host' (or just 'host') > + from the URL and the shell command to execute on that > + remote system, optionally preceded by '-p' (literally) and > + the 'port' from the URL when it specifies something other > + than the default SSH port. > + > To pass options to the program that you want to list in GIT_SSH > you will need to wrap the program and options into a shell script, -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html