ensure that tags are pushed at the end of every build

diff --git a/release.sh b/release.sh
index cb423a6ab1e23e4e8f37d06dde7a366a0b10c964..95d46ed75c44ff7be171e7bb6a6b35146c65f606 100755 (executable)
--- 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