diff --git a/bin/release.sh b/bin/release.sh new file mode 100755 index 000000000..03ac80dc0 --- /dev/null +++ b/bin/release.sh @@ -0,0 +1,20 @@ +#!/usr/bin/env bash + +set -e + +# Insist repository is clean +git diff-index --quiet HEAD + +version=$(grep "__version__ = " spacy/about.py) +version=${version/__version__ = } +version=${version/\'/} +version=${version/\'/} +version=${version/\"/} +version=${version/\"/} + +echo "Pushing release-v"$version + +git tag -d release-v$version || true +git push origin :release-v$version || true +git tag release-v$version +git push origin release-v$version