Deployment script forgot to push the tags to github.

davidhalter · Sep 20, 2017 · dd924a2 · dd924a2
1 parent a06af3d
commit dd924a2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/deploy-master.sh b/deploy-master.sh
@@ -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