tree 425cfc7ff3e5bf8f562de54a4222ebd5095f6968
parent df3469f6ad81dccb314bf2d5021a3cec2b184985
author Thomas Wolf <thomas.wolf@paranor.ch> 1502719769 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1502724425 +0200

Do not apply pushInsteadOf to existing pushUris

Per the git config documentation[1], pushInsteadOf is ignored when
a remote has explicit pushUris.

Implement this, and adapt tests.

Up to now JGit mistakenly applied pushInsteadOf also to existing
pushUris. If some repositories had relied on this mis-feature,
pushes may newly suddenly fail (the uncritical case; the config
just needs to be fixed) or even still succeed but push to unexpected
places, namely to the non-rewritten pushUrls (the critical case).

The release notes should point out this change.

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

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