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 > > + <<def_branch,branch>>. > > 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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
