Teach git-pull-script about pulling tags
This commit is contained in:
parent
d6771bd060
commit
635f67f943
@ -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}
|
||||
|
Loading…
Reference in New Issue
Block a user