From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 08 Sep 2009 07:02:42 GMT
Subject: Re: [PATCHv2 2/2] Add url.<base>.pushInsteadOf: URL rewriting for push only
Message-ID: <7vws49gbql.fsf@alter.siamese.dyndns.org>
In-Reply-To: <5e58748923d9b4a182499a6ba8fa4636bce4810e.1252313313.git.josh@joshtriplett.org>

Josh Triplett <josh@joshtriplett.org> writes:

> 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 and that it does
> *not* apply to fetch).

Thanks.

I will queue these patches, but I presume you would also want to add a
test that pushInsteadOf is ignored for remotes with an explicit pushURL?