X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=git-pull-script;h=4ec12bd887e0af896fdfaa1d30219d3e8ff070e8;hb=175011320690864d1483e7eec19da7f71d14dad7;hp=90ee0f322d8c569a5b02b3be1548eb990b4263c9;hpb=6b38a402e97274037982a5346ca4168cc8ee026c;p=git.git 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}