jenkins: add git credentials and use devenv for fdroid tools

2025-10-09 08:57:04 +02:00
parent 68f480680d
commit e222236072
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@@ -27,7 +27,7 @@ pipeline {
                                stage('Checkout F-Droid Repo') {
                                    steps {
                                        dir("fdroid-repo") {
-                                            git branch: 'binaries', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git"
+                                            git branch: 'binaries', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git", credentialsId: "3563e7c8-6a79-407c-9681-5d6e6291ba34"
                                        }
                                    }
                                }
@@ -49,7 +49,7 @@ pipeline {
                                stage('Update Metadata') {
                                    steps {
                                        dir("fdroid-repo") {
-                                            sh './update-repo.sh'
+                                            sh 'devenv shell ./update-repo.sh'
                                        }
                                    }
                                }