From 34645efe064e8e11b80b83305d89ea301c4be5dd Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:16:14 +0200
Subject: [PATCH] jenkins: add git fetch

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

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