From 0cdacc8e8ee2585183bac056ea3a124d417db1ef Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Wed, 7 Oct 2020 14:08:31 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 11b2dd0..68d64e3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -72,6 +72,7 @@ pipeline {
 			steps {
 				sh "git config user.email \"jenkins@mchv.eu\""
 				sh "git config user.name \"Jenkins\""
+				sh "git add --all; git commit -m \"Add generated files\""
 				sh "mvn -s $MVN_SET -DpushChanges=false -DlocalCheckout=true -DpreparationGoals=initialize release:prepare release:perform -B"
 			}
 		}