Hi, On Fri, 5 Aug 2005, [EMAIL PROTECTED] wrote:
> On Fri, 5 Aug 2005, Linus Torvalds wrote: > > > On Fri, 5 Aug 2005, Johannes Schindelin wrote: > > > > > - The files under $GIT_DIR/refs record object names, and are > > > called "refs". What is under refs/heads/ are called "heads", > > > refs/tags/ "tags". Typically, they are either object names > > > of commit objects or tag objects that resolve to commit > > > objects, but a tag can point at any object. > > > > > > The tutorial never calls them "refs", but instead "references". > > > > It might be worth saying explicitly that a reference is nothing but the > > same thing as a "object name" aka "sha1". > > Well, it's an object name stored in a file. This adds a layer of > indirection and a meaningful name. Yes. > > So I'd vote for making the suggested definition official: "fetch" means > > fetching the data, and "pull" means "fetch + merge". > > So what's the converse of "fetch" (to rename git-ssh-push to)? > Maybe "ship"? I actually like "push". You know, not everybody agrees that "push" is the opposite of "pull"... Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
