summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3740b04)
raw | patch | inline | side by side (parent: 3740b04)
author | Santi Béjar <sbejar@gmail.com> | |
Tue, 30 Jan 2007 09:36:24 +0000 (10:36 +0100) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Tue, 30 Jan 2007 10:30:25 +0000 (02:30 -0800) |
... 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 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 | patch | blob | history |
diff --git a/git-parse-remote.sh b/git-parse-remote.sh
index 9d269671de65d970446a31cd0d8962a5e05332b3..3e783b7b056de113584e526835a23fb05dfdcfce 100755 (executable)
--- a/git-parse-remote.sh
+++ b/git-parse-remote.sh
done
fi
case "$remote" in
- '') remote=HEAD ;;
+ '' | HEAD ) remote=HEAD ;;
refs/heads/* | refs/tags/* | refs/remotes/*) ;;
heads/* | tags/* | remotes/* ) remote="refs/$remote" ;;
*) remote="refs/heads/$remote" ;;