From 37eb086aa1e32a6bc1dafaa566e55a2e61447d85 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:23:39 +0200
Subject: [PATCH] jenkins: use git switch

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ae3c08a..22f6319 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -60,7 +60,7 @@ pipeline {
                                             withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) {
                                                 sh '''
                                                     git fetch origin master
-                                                    git checkout master
+                                                    git switch master
                                                     git add .
                                                     git commit -m "Update repo from CI"
                                                     git push origin master