add step to push to gitea

Jenkinsfile

@@ -107,16 +107,17 @@ pipeline {
         sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) {
           script {
                   // Checkout from GitLab (already done implicitly)
-                  sh """
+                  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
-                  """
+                  '''
           }
         }
       }
     }
+*/
   }
 }