summaryrefslogtreecommitdiff
path: root/git-pull-script
diff options
context:
space:
mode:
Diffstat (limited to 'git-pull-script')
-rwxr-xr-xgit-pull-script9
1 files changed, 7 insertions, 2 deletions
diff --git a/git-pull-script b/git-pull-script
index 90ee0f3..4ec12bd 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}