Re: Terminology

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Aug 5, 2005, 23:08 UTC
Message-ID: <Pine.LNX.4.63.0508060107350.10873@wgmdd8.biozentrum.uni-wuerzburg.de>
In-Reply-To: <Pine.LNX.4.62.0508051531400.23721@iabervon.org>

Hi,

On Fri, 5 Aug 2005, barkalow@iabervon.org wrote:

Show 17 quoted lines

> 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.

Show 5 quoted lines

> > 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