add step to push to gitea

Jenkinsfile

@@ -107,11 +107,11 @@ pipeline {
               script {
                   // Checkout from GitLab (already done implicitly)
                   sh '''
-                    git remote remove gitea || true
                     git checkout master
+                    git pull origin 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 refs/heads/master:refs/heads/master
+                    push origin HEAD:master
                   '''
               }
             }