Code

Add url.<base>.pushInsteadOf: URL rewriting for push only
authorJosh Triplett <josh@joshtriplett.org>
Mon, 7 Sep 2009 08:56:33 +0000 (01:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 8 Sep 2009 08:18:46 +0000 (01:18 -0700)
commit1c2eafb89bcaf2ddbf4dfb93df19673c0fadaaeb
treea5bab1eb2438c01427e663b629505b30861401ba
parentd071d942963fa76b11826f25c54fdfd8b09d7626
Add url.<base>.pushInsteadOf: URL rewriting for push only

This configuration option allows systematically rewriting fetch-only URLs
to push-capable URLs when used with push.  For instance:

[url "ssh://example.org/"]
    pushInsteadOf = "git://example.org/"

This will allow clones of "git://example.org/path/to/repo" to subsequently
push to "ssh://example.org/path/to/repo", without manually configuring
pushurl for that remote.

Includes documentation for the new option, bash completion updates, and
test cases (both that pushInsteadOf applies to push, that it does not
apply to fetch, and that it is ignored when pushURL is already defined).

Signed-off-by: Josh Triplett <josh@joshtriplett.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/urls.txt
contrib/completion/git-completion.bash
remote.c
t/t5516-fetch-push.sh