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)
commit2048bb00ee3937808ce9f0c8f59d71a9b46ab56f
treec42833c3cd3444c4ab7707304b5c705022709b5b
parentc9bc159d7f41e2916830b05529c1ce06a81d975f
git-clone: fix duplicated "master" in $GIT_DIR/remotes/origin

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>
git-clone.sh