Re: [PATCH] HEAD, ORIG_HEAD and FETCH_HEAD are really special.
- From
Johannes Sixt <j.sixt@eudaptics.com>
- Date
- Sep 7, 2007, 12:36 UTC
- Message-ID
- <46E145BF.4070403@eudaptics.com>
- In-Reply-To
- <7vd4wu67qs.fsf_-_@gitster.siamese.dyndns.org>
Junio C Hamano schrieb:
> But he has a stray .git/master file, > perhaps created by hand by mistake (it would be very interesting > to find how that file got there in the first place),
It is easy to get one there if, in a brave moment, you try
git update-ref master $some_other_ref
instead of the correct
git update-ref refs/heads/master $some_other_ref
-- Hannes