Add script to push a tag

This commit is contained in:
Matthew Honnibal 2018-07-21 15:10:54 +02:00
parent 90c269e1a9
commit f0024e3b13

15
bin/push-tag.sh Executable file
View File

@ -0,0 +1,15 @@
#!/usr/bin/env bash
set -e
# Insist repository is clean
git diff-index --quiet HEAD
git checkout master
git pull origin master
version=$(grep "__version__ = " spacy/about.py)
version=${version/__version__ = }
version=${version/\'/}
version=${version/\'/}
git tag "v$version"
git push origin --tags