diff options
author | Santi Béjar <sbejar@gmail.com> | 2007-01-30 10:36:24 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-01-30 02:30:25 -0800 |
commit | 153e98d263a825c905f2ef4277b29d1fd5e09b42 (patch) | |
tree | 23d8c23cd0b74a397d95b6a859f9563e88c790af /t | |
parent | 3740b04f6c1dd485a8e717ed6d8c516cedc27063 (diff) | |
download | git-153e98d263a825c905f2ef4277b29d1fd5e09b42.tar.gz git-153e98d263a825c905f2ef4277b29d1fd5e09b42.tar.xz |
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>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions