HEAD branch duplicated in remotes/origin

Hello,

when cloning with --use-separate-remote, $GITDIR/remotes/origin contains two references to refs/heads/master. This breaks `git fetch origin'.

uzeisberger@io:~/gsrc$ git --version git version 1.4.0.rc2.ga95e

uzeisberger@io:~/gsrc$ git clone --use-separate-remote git://git.kernel.org/pub/scm/git/git.git git-copy
Checking files out...)
 100% (523/523) done

uzeisberger@io:~/gsrc$ cd git-copy

uzeisberger@io:~/gsrc/git-copy$ git fetch origin error: no such remote ref refs/heads/master Fetch failure: git://git.kernel.org/pub/scm/git/git.git

uzeisberger@io:~/gsrc/git-copy$ grep -n master .git/remotes/origin 2:Pull: refs/heads/master:refs/remotes/origin/master 12:Pull: refs/heads/master:refs/remotes/origin/master

uzeisberger@io:~/gsrc/git-copy$ sed -i 2d .git/remotes/origin

uzeisberger@io:~/gsrc/git-copy$ git fetch origin

uzeisberger@io:~/gsrc/git-copy$ 

I didn't look into it deeply, but I think this happens because the remote HEAD is translated to refs/heads/master and added while master is added once more while processing refs/heads/master explicitly.

Best regards Uwe