clone: record the remote primary branch with remotes/$origin/HEAD
authorJunio C Hamano <junkio@cox.net>
Tue, 21 Mar 2006 09:58:26 +0000 (01:58 -0800)
committerJunio C Hamano <junkio@cox.net>
Tue, 21 Mar 2006 10:02:46 +0000 (02:02 -0800)
commit5ceb05f82edc49ad5e6b0ad98d633c124a567309
tree4cfe6fe2d78aa39a8c5683ed42b3eba9a19459c0
parent47874d6d9a7f49ade6388df049597f03365961ca
clone: record the remote primary branch with remotes/$origin/HEAD

This matches c51d13692d4e451c755dd7da3521c5db395df192 commit to
record the primary branch of the remote with a symbolic ref
remotes/$origin/HEAD.  The user can later change it to point at
different branch to change the meaning of "$origin" shorthand.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-clone.sh