From 70fc8191dec296e1d7a300c8d4035cd1626df08e Mon Sep 17 00:00:00 2001 From: Arne Teuke Date: Wed, 26 Nov 2025 20:25:14 +0100 Subject: [PATCH] add step to push to gitea --- Jenkinsfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 0705c53..57f997b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -111,8 +111,7 @@ pipeline { git checkout master git remote add master https://gitea.confdroid.com/confdroid/puppet_cd.git git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ - push origin HEAD:master --tags \ - push origin HEAD:master + push origin HEAD:master --tags ''' } }