From 4dab52544e3a379851f52958b6a46403ce7704e5 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:19:47 +0200
Subject: [PATCH] jenkins: use git credentials

---
 Jenkinsfile | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c7509f9..54f77a9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -57,14 +57,16 @@ pipeline {
                                 stage('Push updates') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            sh '''
-                                                git fetch origin
-                                                git cehckout master
-                                                git add .
-                                                git commit -m "Update repo from CI"
-                                                git push origin master
-                                                ./push-apks.sh 
-                                            '''
+                                            withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) {
+                                                sh '''
+                                                    git fetch origin
+                                                    git cehckout master
+                                                    git add .
+                                                    git commit -m "Update repo from CI"
+                                                    git push origin master
+                                                    ./push-apks.sh 
+                                                '''
+                                            }
                                         }
                                     }
                                 }