From dd924a287dd7492f281a11f0ed55101b84117853 Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Thu, 21 Sep 2017 00:05:52 +0200
Subject: [PATCH] Deployment script forgot to push the tags to github.

---
 deploy-master.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/deploy-master.sh b/deploy-master.sh
index cea74486..d1e76cb4 100644
--- 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