jenkins: specifically fetch master

2025-10-09 09:22:31 +02:00
parent 3b5bd07d20
commit 0db44fcee8
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -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"