add step to push to gitea

Jenkinsfile

@@ -104,16 +104,17 @@ pipeline {
 
     stage('Mirror to Gitea') {
           steps {
-            sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) {
+            withCredentials([usernamePassword(
+              credentialsId: 'Jenkins-gitea',
+              usernameVariable: 'GITEA_USER',
+              passwordVariable: 'GITEA_TOKEN')]) {
               script {
                   // Checkout from GitLab (already done implicitly)
-                  sh """
-                      git config user.name "Jenkins Server"
-                      git config user.email jenkins@confdroid.com
-                      git checkout master
-                      git remote add gitea https://gitea.confdroid.com/confdroid/puppet_cd.git
-                      git push --mirror gitea
-                  """
+                  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
+                  '''
               }
             }
           }