From: J. Bruce Fields Date: Thu, 17 May 2007 04:30:40 GMT Subject: Re: [PATCH 03/10] glossary: expand and clarify some definitions, prune cross-references Message-ID: <20070517043040.GA5032@fieldses.org> In-Reply-To: On Mon, May 14, 2007 at 07:00:48PM +0200, Jakub Narebski wrote: > J. Bruce Fields wrote: > > > +[[def_detached_HEAD]]detached HEAD:: > > +       Normally HEAD refers to the tip of a > > +       <>. > > Normally HEAD refers to the branch _name_ (names current branch). > From this sentence one can think that normally HEAD is pointer > to commit which is tip of current branch. OK, thanks; fixed in maint branch of git://linux-nfs.org/~bfields/git.git. --b.