From 8db14981856a84f7cf1e0f98b5496a56974e2225 Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Thu, 21 Sep 2017 00:06:48 +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 3bf47cd..9441f8d 100755
--- 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