Update push-tag script

explosion · Mar 14, 2019 · 58e4087 · 58e4087
1 parent b940f7c
commit 58e4087
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/bin/push-tag.sh b/bin/push-tag.sh
@@ -5,12 +5,15 @@ set -e
 # Insist repository is clean
 git diff-index --quiet HEAD
 
-git checkout master
-git pull origin master
-git push origin master
+git checkout $1
+git pull origin $1
+git push origin $1
+
 version=$(grep "__version__ = " thinc/about.py)
 version=${version/__version__ = }
+version=${version/\'/}
+version=${version/\'/}
 version=${version/\"/}
 version=${version/\"/}
 git tag "v$version"
-git push origin --tags
+git push origin "v$version" --tags