git-clone: fix duplicated "master" in $GIT_DIR/remotes/origin
authorJunio C Hamano <junkio@cox.net>
Thu, 8 Jun 2006 08:17:01 +0000 (01:17 -0700)
committerJunio C Hamano <junkio@cox.net>
Thu, 8 Jun 2006 23:19:37 +0000 (16:19 -0700)
Under --use-separate-remote we ended up duplicating the branch
remote HEAD pointed at in $GIT_DIR/remotes/origin file.

Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found