X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=git-pull-script;h=961edc481b96b0081c816520bc0c4e2cfe5a43f8;hb=7620d39fcbff834d00320d295fbdbd9b7006d66a;hp=a4ca97c64566419a0dc02e8e719333d1c9240edc;hpb=ed37b5b2b94398f3ab8312dfdf23cfd25549e3ec;p=git.git

diff --git a/git-pull-script b/git-pull-script
index a4ca97c6..961edc48 100755
--- a/git-pull-script
+++ b/git-pull-script
@@ -4,12 +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 from
-
-	$merge_name"
-   merge_head="refs/heads/$2"
+   merge_name="$type '$2' of $merge_name"
+   merge_head="refs/${type}s/$2"
 fi
 
 : ${GIT_DIR=.git}
@@ -19,5 +22,5 @@ git-fetch-script "$merge_repo" "$merge_head" || exit 1
 
 git-resolve-script \
 	"$(cat "$GIT_DIR"/HEAD)" \
-	"$(cat "$GIT_DIR"/MERGE_HEAD)" \
+	"$(cat "$GIT_DIR"/FETCH_HEAD)" \
 	"$merge_name"