From: Linus Torvalds <torvalds@ppc970.osdl.org>
Date: Tue, 28 Jun 2005 03:10:32 +0000 (-0700)
Subject: Teach git-pull-script about pulling tags
X-Git-Tag: v0.99~148
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=635f67f9437b104be852cadb645006f4e858421f;p=git.git

Teach git-pull-script about pulling tags
---

diff --git a/git-pull-script b/git-pull-script
index 90ee0f32..4ec12bd8 100755
--- a/git-pull-script
+++ b/git-pull-script
@@ -4,10 +4,15 @@ merge_repo=$1
 
 merge_name=$(echo "$1" | sed 's:\.git/*$::')
 merge_head=HEAD
+type=head
+if [ "$2" = "tag" ]; then
+   type=tag
+   shift
+fi
 if [ "$2" ]
 then
-   merge_name="'$2' branch of $merge_name"
-   merge_head="refs/heads/$2"
+   merge_name="$type '$2' of $merge_name"
+   merge_head="refs/{$type}s/$2"
 fi
 
 : ${GIT_DIR=.git}