julian/sheetless
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

jenkins: change git credentials

Browse Source
This commit is contained in:
Julian Mutter
2025-10-09 09:34:20 +02:00
parent ec74755641
commit 0684295fe5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Jenkinsfile vendored
View File

@@ -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"