tree 1e1a9dadf8c0c1143ce3bfe7254c5f354446d322
parent 196915dde541094696405fa7469d573c4caae6e6
author Thomas Wolf <thomas.wolf@paranor.ch> 1498038004 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1502703647 -0400

Fix handling of pushInsteadOf

According to [1], pushInsteadOf is

1. applied to the uris, not to the pushUris
2. ignored if a remote has an explicit pushUri

JGit applied it only to the pushUris. As a result, pushInsteadOf was
ignored for remotes having only a uri, but no pushUri.

This commit implements (1) if there are no pushUris. I did not dare
implement (2) because:

* there are explicit tests for it that expect that pushInsteadOf gets
  applied to existing pushUrls, and
* people may actually use and rely on this JGit behavior.

[1] https://git-scm.com/docs/git-config

Bug: 393170
Change-Id: I6dacbf1768a105190c2a8c5272e7880c1c9c943a
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>