Re: ORIG_HEAD

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