From 0684295fe597fe5653ab0f47933138f6b282661d Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:34:20 +0200
Subject: [PATCH] jenkins: change git credentials

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 8634922..6d0cbde 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,7 @@ pipeline {
                                 stage('Checkout F-Droid Repo') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            git branch: 'master', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git", credentialsId: "3563e7c8-6a79-407c-9681-5d6e6291ba34"
+                                            git branch: 'master', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git", credentialsId: "gitea"
                                         }
                                     }
                                 }
@@ -57,7 +57,7 @@ pipeline {
                                 stage('Push updates') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) {
+                                            withCredentials([gitUsernamePassword(credentialsId: 'gitea')]) {
                                                 sh '''
                                                     git config --global user.email "jenkins@comumail.de"
                                                     git config --global user.name "Jenkins CI"