From: Linus Torvalds Date: Tue, 21 Jun 2005 21:06:08 GMT Subject: Re: ORIG_HEAD Message-ID: In-Reply-To: <20050620.221055.71088925.davem@davemloft.net> On Mon, 20 Jun 2005, David S. Miller wrote: > > Is there a really good reason why git-pull-script runs are deleting > that file now? No. I've cleaned it up a bit, and codified the stuff we leave around. I also changed "git fetch" to write FETCH_HEAD instead of MERGE_HEAD, because that's obviously what it is (it's perfectly fine to fetch things for other reasons, like just checking what somebody else has, and you might not ever intend to merge it anyway). Linus