From: Jakub Narebski Date: Wed, 15 Nov 2006 12:31:32 GMT Subject: Re: Cleaning up git user-interface warts Message-ID: In-Reply-To: <455B04DE.1040107@op5.se> Andreas Ericsson wrote: > Nicolas Pitre wrote: > > [ axed a lot of stuff that I didn't fully grok ] > >> >> This becomes formalized as: >> >> git_pull [] [] >> >> If includes a branch name then is a single branch >> name. If doesn't include any branch name then >> becomes a local branch group name containing all branches in the remote >> repository. > > I would change that so "local_name" is always a branch group name, but > branch group names can be used as refs. That is, > > git pull startrek.com/kirk.git:master kirk I'd rather use Cogito (not gitweb) notation startrek.com/kirk.git#master This way we can change the name of local branch startrek.com/kirk.git#master:kirk -- Jakub Narebski Warsaw, Poland ShadeHawk on #git