Re: [RFC PATCH] remote: add --fetch option to git remote set-url

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 30, 2018, 10:11 UTC
Message-ID: <xmqq8t2f218l.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20181030075653.GA4114@archbookpro.localdomain>

Denton Liu <liu.denton@gmail.com> writes:

Show 11 quoted lines

> On Mon, Oct 29, 2018 at 02:57:28PM +0900, Junio C Hamano wrote:
> ...
>> Earlier you had a check like this:
>> 
>> > +	if (push_mode && fetch_mode)
>> > +		die(_("--push --fetch doesn't make sense"));
>> 
>> If a request to "--fetch" is ignored when "--add" is given, for
>> example, shouldn't the combination also be diagnosed as "not making
>> sense, we'd ignore your wish to use the --fetch option"?  Similarly
>> for the case where there already is pushurl defined for the remote.

Clarification. Here I am suggesting that a part of the logic in the earlier assignment to move_fetch_to_push should become a similar call to die(), detecting a competing and unsatisfiable wish, rather than getting silently ignored.

>> This is a different tangent on the same line, but it could be that
>> the user wants to have two (or more) pushURLs because the user wants
>> to push to two remotes at the same time with "git push this-remote",
>> so silently ignoring "--force" may not be the right thing in the

Correction.  s/--force/--fetch/ was what I meant here.

>> first place.  We may instead need to make the value of URL to an
>> extra pushURL entry (if we had one, we now have two).

Also, additionally, since there is no use to have two or more URL, because unlike "git push $there" that can push to two places, fetching from two places into the same set of remote-tracking branches would not make sense, --move-pushURL-to-URL-and-set-pushURL operation that is the symmetry of what the patch under discussion proposes should fail instead of creating an extra URL entry, breaking an apparent symmetry.

> Perhaps I should motivate the use-case for this option. There have been
> times when I've had the URL set to something but no pushURL. I've
> wanted to only change the fetching URL and keep the pushing URL the same

URL (plus optionally pushURL) split was done because most everybody were fetching from and pushing to the same place; it would not have made any sense to have fetchURL and pushURL that are separate, as that would have forced everybody to have both, when majority of the users would have to set them to the same value.

Quite honestly, tweaking URL and/or pushURL is not something you'd do every three months or more frequently, so I do not particularly feel sympathetic to the cause of this patch, which would allow setting one to the value that happens to be set to the other one while setting an arbitrary new value to the other one. Once the user's need deviates from that single niche pattern, the user needs to update both, and setting these two independently is quite simple and straight-forward in the first place. And that same simple pattern to set two independently can be used without learning this new option.

> My implementation of --fetch is supposed to emulate what would happen if
> git were implemented with fetchurl/pushurl instead. Does the patch make
> more sense in this context?

Hmph. As a system that has fetchURL and pushURL independently and forces everybody to set both does not make much sense in the first place, the patch making sense in that context is not a very strong reason to support it.

> Please let me know if you think that the concept behind this patch is a
> good idea. Thanks!

If I don't then I do not have to let you know, then ;-)

I do not particularly think it is a horrible idea, but I do not see that it would be a feature that helps particuarly wide audience.