JGit/New and Noteworthy/4.9
Build and Release Engineering
?? enhancement requests and ?? bugs were closed
- Bug 393170 - pushInsteadOf configuration is ignored by EGit.
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 following ?? developers worked on this release of JGit :