Bugzilla – Full Text Bug Listing
| Summary: | Add support for pushinsteadof configuration | ||
|---|---|---|---|
| Product: | [Technology] JGit | Reporter: | Christian Halstrick <christian.halstrick> |
| Component: | JGit | Assignee: | Project Inbox <jgit.core-inbox> |
| Status: | RESOLVED DUPLICATE | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
Marking this as a duplicate of bug346873 which requests both pushinsteadof and insteadof *** This bug has been marked as a duplicate of bug 346873 *** |
especially for gerrit-related use-cases it would be very useful if EGit/JGit would support the "pushinsteadof" configuration parameter. Example: imagine you have the following lines in your global git configuration: [url "ssh://myname@example.org:29418/"] pushInsteadOf = git://example.org/ Then whenever you have cloned a repo with 'git clone git://example.org/foo.git' all pushes to this repo will go to 'ssh://myname@example.org:29418/foo.git' without any repository-specific configuration. See http://www.kernel.org/pub/software/scm/git/docs/git-clone.html#_git_urls_a_id_urls_a