diff --git a/bin/push-tag.sh b/bin/push-tag.sh new file mode 100755 index 000000000..b1cc07afd --- /dev/null +++ b/bin/push-tag.sh @@ -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