From d0487df59200dcc70b65c43bbc87daaae098c2d6 Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Fri, 1 Jun 2018 21:27:58 +0100
Subject: [PATCH] Another attempt to get the release working.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 14d503c..6f1e012 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 --follow-tags"
+                    sh "git push origin HEAD:master --follow-tags"
                 }
             }
         }