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.
> 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"?
-Daniel
*This .sig left intentionally blank*
-
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
