spaCy/bin/push-tag.sh

#!/usr/bin/env bash

set -e

# Insist repository is clean
git diff-index --quiet HEAD

git checkout $1
git pull origin $1
version=$(grep "__version__ = " spacy/about.py)
version=${version/__version__ = }
version=${version/\'/}
version=${version/\'/}
git tag "v$version"
git push origin --tags
Add script to push a tag 2018-07-21 16:10:54 +03:00			`#!/usr/bin/env bash`

			`set -e`

			`# Insist repository is clean`
			`git diff-index --quiet HEAD`

Add branch option to push-tag script 2018-08-15 04:16:43 +03:00			`git checkout $1`
			`git pull origin $1`
Add script to push a tag 2018-07-21 16:10:54 +03:00			`version=$(grep "__version__ = " spacy/about.py)`
			`version=${version/__version__ = }`
			`version=${version/\'/}`
			`version=${version/\'/}`
			`git tag "v$version"`
			`git push origin --tags`