add step to push to gitea

2025-11-26 20:03:11 +01:00
parent 78e3b57ff1
commit 85256cb016
1 changed files with 3 additions and 2 deletions
--- a/5
+++ b/5
@@ -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
                  '''
              }
            }