Deployment script forgot to push the tags to github.

This commit is contained in:
Dave Halter
2017-09-21 00:06:48 +02:00
parent 26e882d19c
commit 8db1498185

View File

@@ -48,5 +48,5 @@ python setup.py sdist bdist_wheel
twine upload dist/*
cd $BASE_DIR
# Back in the development directory fetch tags.
git fetch --tags
# The tags have been pushed to this repo. Push the tags to github, now.
git push --tags