Re: [PATCH] connect: read $GIT_SSH_COMMAND from config file

From: Eric Sunshine <sunshine@sunshineco.com>
Date: Jun 28, 2016, 19:01 UTC
Message-ID: <CAPig+cRtmk_yukPGOTOn7CR7U_FY=ThbaMEc632L=yYz98zhVw@mail.gmail.com>
In-Reply-To: <xmqqtwgd8ab0.fsf@gitster.mtv.corp.google.com>

On Tue, Jun 28, 2016 at 1:58 PM, Junio C Hamano <gitster@pobox.com> wrote:

Show 13 quoted lines

> Let's then squash this in.
>
> diff --git a/Documentation/config.txt b/Documentation/config.txt
> @@ -444,11 +444,11 @@ This is useful for excluding servers inside a firewall from
>  core.sshCommand::
> -       If this variable is set then 'git fetch' and 'git push' will
> -       use the specified command instead of 'ssh' when they need to
> +       If this variable is set, `git fetch` and `git push` will
> +       use the specified command instead of `ssh` when they need to
>         connect to a remote system. The command is in the same form as
> -       'GIT_SSH_COMMAND' environment variable and is overriden when
> -       the environment variable is set.
> +       the `GIT_SSH_COMMAND` environment variable and is overriden

s/overriden/overridden/

> +       when the environment variable is set.