Add branch option to push-tag script

This commit is contained in:
Matthew Honnibal 2018-08-15 03:16:43 +02:00
parent 6ea981c839
commit 48ed1ca29d
1 changed files with 2 additions and 2 deletions

View File

@ -5,8 +5,8 @@ set -e
# Insist repository is clean
git diff-index --quiet HEAD
git checkout master
git pull origin master
git checkout $1
git pull origin $1
version=$(grep "__version__ = " spacy/about.py)
version=${version/__version__ = }
version=${version/\'/}