From e222236072e49ceed3de622cb14a8e93f919e658 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 08:57:04 +0200
Subject: [PATCH] jenkins: add git credentials and use devenv for fdroid tools

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 20be3ee..706ce0a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,7 @@ pipeline {
                                 stage('Checkout F-Droid Repo') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            git branch: 'binaries', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git"
+                                            git branch: 'binaries', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git", credentialsId: "3563e7c8-6a79-407c-9681-5d6e6291ba34"
                                         }
                                     }
                                 }
@@ -49,7 +49,7 @@ pipeline {
                                 stage('Update Metadata') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            sh './update-repo.sh'
+                                            sh 'devenv shell ./update-repo.sh'
                                         }
                                     }
                                 }