From 98a19dbb1a3223ff4ab09f51b6b3a6f6cea9b4b0 Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Fri, 25 May 2018 22:26:29 +0100
Subject: [PATCH] Update to push tags

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 57474cd..14d503c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -136,7 +136,7 @@ pipeline {
                     sh "mvn -P windows,linux,osx,wintab versions:revert"
                     sh "mvn -P windows,linux,osx,wintab versions:set -DnextSnapshot"
                     sh "git commit -m 'Next development release' ."
-                    sh "git push --all"
+                    sh "git push --follow-tags"
                 }
             }
         }