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 would always create the branch-head .git/refs/remote/kirk/master which for short can be referenced as just "kirk" (barring clashes ofc), so long as it only has one branch tracked. -- Andreas Ericsson andreas.ericsson@op5.se OP5 AB www.op5.se Tel: +46 8-230225 Fax: +46 8-230231 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Wed Nov 15 23:16:02 2006
This archive was generated by hypermail 2.1.8 : 2006-11-15 23:17:11 EST