OP#188 remove Jenksinfile from public mirror

Jenkinsfile

@@ -110,9 +110,11 @@ pipeline {
                         git pull origin master
                         git branch -D development
                         git branch -D jenkins-build-$BUILD_NUMBER
+                        git rm -f Jenkinsfile
+                        git commit --amend --no-edit --allow-empty
                         git remote add master https://gitea.confdroid.com/confdroid/prometheus_cd.git
                         git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
-                        push master $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main  --mirror
+                        push master --mirror
                     '''
 					}
 				}