From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 15 Apr 2010 19:00:25 GMT
Subject: Re: failed to lock
Message-ID: <7vd3y0k0c6.fsf@alter.siamese.dyndns.org>
In-Reply-To: <k2x76718491004142100v6e1ece6djc62aa540e51eed5@mail.gmail.com>

Jay Soffian <jaysoffian@gmail.com> writes:

>> The origin/HEAD symref and --mirror do not get along together. Hmm.
>
> Proposal: receive-pack should look through the list of heads it has
> received and check whether each is locally a symref.

I would rather think that "git push" should notice that */HEAD is a symref
and refrain from pushing it.  Stated more precisely,

 - It is perfectly fine to do this:

   $ git push there HEAD:somebranch

 - But it does not make sense to push a symref via

   [remote "there"]
   	push = refs/*:refs/*

   to a bare repository that is used as a back-up mirror by including
   refs/HEAD:refs/HEAD in the result of wildcard expansion.