diff options
author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-06-28 07:10:32 +0400 |
---|---|---|
committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-06-28 07:10:32 +0400 |
commit | 635f67f9437b104be852cadb645006f4e858421f (patch) | |
tree | be57c7f9338935e94f390ff98626cf3d12dca3eb /git-pull-script | |
parent | d6771bd0608e2d141d33c9e2024a4cf03043ef94 (diff) |
Teach git-pull-script about pulling tags
Diffstat (limited to 'git-pull-script')
-rwxr-xr-x | git-pull-script | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/git-pull-script b/git-pull-script index 90ee0f322d..4ec12bd887 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} |