From c63b09a0479b61204baa0ebf9d5140e90872db3e Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Fri, 25 May 2018 21:50:06 +0100
Subject: [PATCH] Hopefully fix the release not incrementing or commiting

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b4fcb31..88ad60f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -133,6 +133,7 @@ pipeline {
                     }
                     sh "git tag -a ${VERSION_TAG} -m 'Release tag ${VERSION_TAG}'"
                     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:revert"
                     sh "mvn -P windows,linux,osx,wintab,release versions:set -DnextSnapshot"
                     sh "git commit -m 'Next development release' ."
                     sh "git push"