diff options
| author | Thomas Wolf <thomas.wolf@paranor.ch> | 2017-08-14 16:09:29 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2017-08-14 17:27:05 +0200 |
| commit | 37908321c03d92c73c2a6df264e10da3e5517ae2 (patch) | |
| tree | 425cfc7ff3e5bf8f562de54a4222ebd5095f6968 /org.eclipse.jgit.junit.http/.project | |
| parent | df3469f6ad81dccb314bf2d5021a3cec2b184985 (diff) | |
| download | jgit-37908321c03d92c73c2a6df264e10da3e5517ae2.tar.gz jgit-37908321c03d92c73c2a6df264e10da3e5517ae2.zip | |
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>
Diffstat (limited to 'org.eclipse.jgit.junit.http/.project')
0 files changed, 0 insertions, 0 deletions