From 88fe792ca0dc090af279805650e32786926ef5a4 Mon Sep 17 00:00:00 2001 From: Martin Tahiraj Date: Thu, 2 Apr 2026 14:41:54 +0200 Subject: [PATCH] fix(jenkins): use GIT_TOKEN as credential ID for Gitea Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- ci/Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index c76a08c..0203d06 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -30,7 +30,7 @@ * * Credenziali Jenkins richieste * ------------------------------ - * gitea-credentials Username/Password — token Gitea (checkout + push) + * GIT_TOKEN Username/Password — token Gitea (checkout + push) * registry-credentials Username/Password — Docker registry * * ============================================================================ @@ -465,7 +465,7 @@ else: // Commit e push solo se ci sono modifiche staged withCredentials([usernamePassword( - credentialsId: 'gitea-credentials', + credentialsId: 'GIT_TOKEN', usernameVariable: 'GITEA_PUSH_USR', passwordVariable: 'GITEA_PUSH_PSW' )]) {