add step to push to gitea

2025-11-26 19:23:00 +01:00
parent 6a52f7fffa
commit b0d2cd6687
2 changed files with 4 additions and 4 deletions
--- a/2
+++ b/2
@@ -112,7 +112,7 @@ pipeline {
                    git config user.email jenkins@confdroid.com
                    git checkout master
                    git remote add gitea https://gitea.confdroid.com/confdroid/puppet_cd.git
-                    git -c user.email=jenkins@confdroid.com -c user.name=Jenkins push --mirror gitea
+                    git push --mirror gitea
                  """
          }
        }