From a4c7d312d2b4d639d9db9082ece5ce334fcaeef0 Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Fri, 25 May 2018 20:59:46 +0100
Subject: [PATCH] Add the git push

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a4ea1dc..a8231cf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -135,6 +135,7 @@ pipeline {
                     sh "mvn -P windows,linux,osx,wintab -Dmaven.antrun.skip -Dmaven.test.skip -DskipTests -DskipITs deploy"
                     sh "mvn -P windows,linux,osx,wintab,release versions:set -DnextSnapshot"
                     sh "git commit -m 'Next development release' ."
+                    sh "git push"
                 }
             }
         }