Re: HEAD branch duplicated in remotes/origin

Uwe Zeisberger [off-list ref] writes:

I wonder if this is easier not to add the other duplicate.

Unfortunately the above is probably easier.  The other duplicate
is coming from the lowlevel code that makes sure each of the
fetch-pack parameters is not used to match more than once.  We
should fix it eventually, though.