From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 10 Nov 2014 16:54:58 GMT
Subject: Re: [PATCH v4] git_connect: set ssh shell command in GIT_SSH_COMMAND
Message-ID: <xmqqr3xb9esd.fsf@gitster.dls.corp.google.com>
In-Reply-To: <20141110082858.GA71642@melamine.cuivre.fr.eu.org>

Thomas Quinot <thomas@quinot.org> writes:

> * Jeff King, 2014-11-10 :
>
>> I think this version looks good. Thanks for working on it.
>
> Thanks!
>
>> Two style micro-nits (that I do not think even merit a re-roll by
>> themselves, but Junio may want to mark up as he applies):
>
> OK, committed locally, I can resend a PATCH v5 if that's more
> convenient -- do let me know.

Locally tweaked while queuing.

Thanks both.