From 0ef706eb06d3d301a8dbb10b1f9f0d750ef2cd27 Mon Sep 17 00:00:00 2001
From: Arne Teuke <arne_teuke@confdroid.com>
Date: Mon, 19 May 2025 16:16:32 +0200
Subject: [PATCH] try different merging approach

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1c13c80..4ac3224 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -82,7 +82,7 @@ pipeline {
                   echo `git add -A && git commit -am "recommit for updates in build $BUILD_NUMBER"`
                   git checkout master
                   git merge jenkins
-                  git push -u origin master'''
+                  git push origin master'''
         }
       }
     }