Description Christian Halstrick 2010-10-08 06:58:28 EDT

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