[jgit-dev] Issue when using plink to push on windows

[Lluis Sanchez Gual <slluis.devel@xxxxxxxxx>]

Hi,

I'm trying to push a repo in Windows, and I happen to have GIT_SSH set
to use TortoisePlink (I have Tortoise Git installed). The command fails
because TortoisePlink can't understand the '--batch' option (which is
being set in TransportGitSsh.ExtConnection), but it works if I use
'-batch', that is, with a single dash. I also tried with the plink
included in Putty, and I got the same result.

I'm wondering if this is a bug in the JGit code or if there is some
plink version out there which requires the double dash and has to be
special-cased.

Lluis.