Re: Multi-head pulling series

From: Josef Weidendorfer <josef.weidendorfer@gmx.de>
Date: Aug 22, 2005, 16:35 UTC
Message-ID: <200508221835.31275.Josef.Weidendorfer@gmx.de>
In-Reply-To: <7vfyt4l9q9.fsf@assigned-by-dhcp.cox.net>

On Saturday 20 August 2005 20:54, Junio C Hamano wrote:

Show 12 quoted lines

> Josef Weidendorfer <Josef.Weidendorfer@gmx.de> writes:
> >> 	$ cat $GIT_DIR/remotes/www
> >> 	URL: http://www.kernel.org/pub/scm/git/git.git/
> >>	Pull: master:ko-master pu:ko-pu
> >>	Push: master:master pu:pu foo:bar
> >
> > Isn't this mixing two kinds of information:
> > 1) Some default/persistent mapping of local to remote heads
> > 2) The default heads which are pulled/pushed when only giving the remote
>
> I am not convinced myself that default/persistent mapping makes
> much sense,

I think that both, default and non-default persistant mappings, are only a handy convenience issue for less typing. If GIT core is not doing this, some (most?) porcelains will invent their own way for storing these mappings (like Cogito is doing with branches/). I think it is better if this is "standardized".

Currently missing here is automatic detection of the remote repository for a given head to be pulled/pushed. But this is no format issue.

> and updating the stored mappings dynamically when 
> the user uses non-default mappings in push/pull as a one-shot
> operation does not make any sense at all at least to me.

Yes, you are right.

Josef