From: Nicolas Pitre Date: Sun, 18 Dec 2005 17:16:02 GMT Subject: Re: bad git pull Message-ID: In-Reply-To: <7vd5juub9h.fsf@assigned-by-dhcp.cox.net> On Sat, 17 Dec 2005, Junio C Hamano wrote: > Nicolas Pitre writes: > > >> I do not see much difference either way, > > > > ORIG suggests "origin" to me,... > > Hmph. > > I always thought it was original-head before the operation > happened, which is why I said it is no different from > previous-head. OK I agree. Nicolas