From 74a9694c39218ef6a55acfa2caa13b12f8f85cf2 Mon Sep 17 00:00:00 2001
From: Arne Teuke <arne_teuke@confdroid.com>
Date: Mon, 19 May 2025 16:22:01 +0200
Subject: [PATCH] revert

---
 Jenkinsfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4ac3224..533e10a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -80,9 +80,7 @@ pipeline {
             sh '''git config user.name "Jenkins Server"
                   git config user.email jenkins@confdroid.com
                   echo `git add -A && git commit -am "recommit for updates in build $BUILD_NUMBER"`
-                  git checkout master
-                  git merge jenkins
-                  git push origin master'''
+                  git push origin HEAD:master'''
         }
       }
     }