From d7aa43761f5741c5796a9617b7070b3b2b29841d Mon Sep 17 00:00:00 2001
From: Salim Fadhley <sal@stodge.org>
Date: Wed, 30 Jul 2014 01:48:16 +0100
Subject: [PATCH] ensure that tags are pushed at the end of every build

---
 release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release.sh b/release.sh
index cb423a6..95d46ed 100755
--- a/release.sh
+++ b/release.sh
@@ -5,3 +5,4 @@ pip install sphinx
 ant release
 git tag v`jenkinsapi_version`
 ant doc
+git push --tags
-- 
2.34.1