From: Thomas Quinot Date: Mon, 10 Nov 2014 08:28:58 GMT Subject: Re: [PATCH v4] git_connect: set ssh shell command in GIT_SSH_COMMAND Message-ID: <20141110082858.GA71642@melamine.cuivre.fr.eu.org> In-Reply-To: <20141110071154.GD7677@peff.net> * 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. Thomas.