add step to push master to gitea and delete other branches

Jenkinsfile

@@ -109,12 +109,11 @@ pipeline {
                   sh '''
                     git checkout master
                     git pull origin master
+                    git branch -D development
+                    git branch -D jenkins-build-$BUILD_NUMBER
                     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 master --mirror \
-                    branch -D development \
-                    branch -D jenkins*
-
+                    push master --mirror
                   '''
               }
             }