From ec747556417b56d1ac80d0b3af7da4e2623f0f67 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 09:27:21 +0200
Subject: [PATCH] jenkins: use git name and mail

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0124c3f..8634922 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -59,6 +59,8 @@ pipeline {
                                         dir("fdroid-repo") {
                                             withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) {
                                                 sh '''
+                                                    git config --global user.email "jenkins@comumail.de"
+                                                    git config --global user.name "Jenkins CI"
                                                     ./push-apks.sh 
                                                 '''
                                             }