Andreas Ericsson wrote: > Nicolas Pitre wrote: > > [ axed a lot of stuff that I didn't fully grok ] > >> >> This becomes formalized as: >> >> git_pull [<URL>] [<local_name>] >> >> If <URL> includes a branch name then <local_name> is a single branch >> name. If <URL> doesn't include any branch name then <local_name> >> 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html