Re: [PATCH v4] git_connect: set ssh shell command in GIT_SSH_COMMAND

Thomas Quinot [off-list ref] writes:

* Jeff King, 2014-11-10 :

quoted

I think this version looks good. Thanks for working on it.

Thanks!

quoted

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.