From 8542047e5c92f1430bc11ec462e8ffd24e103a1d Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Thu, 6 Apr 2017 18:21:20 +0200
Subject: [PATCH] Adding a tag should be part of the deployment script.

---
 deploy.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/deploy.sh b/deploy.sh
index d97a9678..f7aadcda 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,5 +1,12 @@
 #!/usr/bin/env bash
 
+set -eu -o pipefail
+
+# Create tag
+git tag $(python -c 'import jedi; print(jedi.__version__)')
+git push --tags
+
+# Package and upload to PyPI
 rm -rf dist/
 python setup.py sdist bdist_wheel
 # Maybe do a pip install twine before.