From 0db44fcee8f5f50ff107221ae97aed548f3c19c6 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:22:31 +0200
Subject: [PATCH] jenkins: specifically fetch master

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

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