jenkins: use git name and mail

This commit is contained in:
2025-10-09 09:27:21 +02:00
parent dbbe5410f5
commit ec74755641

2
Jenkinsfile vendored
View File

@@ -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
'''
}