Add branch option to push-tag script
@@ -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/\'/}
