git-fetch: Allow fetching the remote HEAD
authorSanti Béjar <sbejar@gmail.com>
Tue, 30 Jan 2007 09:36:24 +0000 (10:36 +0100)
committerJunio C Hamano <junkio@cox.net>
Tue, 30 Jan 2007 10:30:25 +0000 (02:30 -0800)
commit153e98d263a825c905f2ef4277b29d1fd5e09b42
tree23d8c23cd0b74a397d95b6a859f9563e88c790af
parent3740b04f6c1dd485a8e717ed6d8c516cedc27063
git-fetch: Allow fetching the remote HEAD

... with:

$ git fetch ${remote} HEAD

Also

$ git fetch ${remote} :${localref}

worked, but

$ git fetch ${remote} HEAD:{localref}

didn't. Now both are equivalent.

Signed-off-by: Santi Béjar <sbejar@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-parse-remote.sh