Re: Multi-head pulling series

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

Josef Weidendorfer [off-list ref] writes:

quoted

quoted

	$ 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