Re: Possible excessive HEAD branch for gdb.git

[Jan Kratochvil <jan.kratochvil@redhat.com>]

On Fri, 09 Oct 2009 10:55:28 +0200, Andreas Schwab wrote:
> Jan Kratochvil <jan.kratochvil@redhat.com> writes:
> > $ git clone git://sourceware.org/git/archer.git
>               ^^^
> > [...]
> > $ git pull origin
> > From ssh://sourceware.org/git/archer
>        ^^^
> 
> What did you do in the mean time?

There was "ssh" everywhere but I cheated a bit as a new checkout would be too
slow.


> HEAD is normally pointing to the branch that will be checked out by git
> clone by default.

Thanks for the info.  Still after removing HEAD at the parent repository a new
clone checks out "master" for me.


> I don't think your problem was related to the existence of the HEAD symbolic
> ref.

I had a different suspection first that as I did "git repack -A -d" (to save
space) I did see some hashes improperly chosen in ./packed-refs vs.
./info/refs vs. refs/* and I did not know how to easily undo "git repack".
So it may be true the HEAD deletion just could workaround it.

Anyway both master.git and gdb.git look OK at least to me so probably no
change is needed.


Thanks,
Jan