From 674291b9f6ad6897f72e207dbdaededae406227e Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:12:05 +0200
Subject: [PATCH] jenkins: fix git checkout

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0c83407..e459d44 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -58,7 +58,7 @@ pipeline {
                                     steps {
                                         dir("fdroid-repo") {
                                             sh '''
-                                                git checkout master
+                                                git switch master
                                                 git add .
                                                 git commit -m "Update repo from CI"
                                                 git push origin master