From 06547984481902c3b075d882ae25433374364479 Mon Sep 17 00:00:00 2001 From: Julian Mutter Date: Sat, 25 Oct 2025 23:59:47 +0200 Subject: [PATCH] jenkins: do not poll fdroid git --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index cfd3c98..c35d1f7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,7 +28,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: "gitea" + git branch: 'master', url: "https://gitlab.julian-mutter.de/julian/fdroid-frajul.git", credentialsId: "gitea", poll: "false" } } }