Re: Adding push configuration to .git/config
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 22, 2007, 01:48 UTC
- Message-ID
- <7vabp79hjt.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <20071121105517.GA11875@denkbrett.schottelius.org>
Nico -telmich- Schottelius <nico-linux-git@schottelius.org> writes:
Show 10 quoted lines
> Nice would be > > [branch "master"] > remote-push = origin > remote-push-merge = another_branch > > And thus perhaps also changing the existing specs: > > remote = ... to remote-fetch = ... > merge = ... to remote-fetch-merge =
I do not think doing this is worth it, not because I think a single branch.$name.remote should be good enough for everybody, but because once you need a separate remote each for fetching and pushing, there is no reason to say one per direction is enough.
An alternative could be to split [remote "name"] url into two variants, fetch-url and push-url. While fetching by default from two places without telling from which one does not make any sense, pushing by default to two different places is quite a normal thing to do, and we already do support more than one url entries in [remote "name"] section used for pushing.
If we were to do this, it might also make sense to rename the word 'origin' we use for the default remote name to 'default' or something. People with shared repository workflow would fetch from one repository and push back to the same repository, so the distinction would not matter, but for others who need something like you suggest, the default repository for fetching and pushing are different, and while you may still consider where you fetch from your 'origin', where you push into is not your 'origin' anymore.