From 85256cb016c6daec8dd7c44104ae59de4e03c111 Mon Sep 17 00:00:00 2001 From: Arne Teuke Date: Wed, 26 Nov 2025 20:03:11 +0100 Subject: [PATCH] add step to push to gitea --- Jenkinsfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index edd5a29..e83e1e0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -112,8 +112,9 @@ pipeline { // Checkout from GitLab (already done implicitly) sh ''' git remote remove gitea || true - git remote add gitea https://${GITEA_USER}:${GITEA_TOKEN}@gitea.confdroid.com/confdroid/puppet_cd.git - git push --mirror gitea + git remote add gitea https://gitea.confdroid.com/confdroid/puppet_cd.git + git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ + push gitea refs/heads/master:refs/heads/master --tags ''' } }