Update push-tag script

This commit is contained in:
Matthew Honnibal 2018-10-14 23:16:08 +02:00
parent 41adf3572b
commit 2ad3a4ea32

View File

@ -7,6 +7,7 @@ git diff-index --quiet HEAD
git checkout master
git pull origin master
git push origin master
version=$(grep "__version__ = " spacy/about.py)
version=${version/__version__ = }
version=${version/\'/}