3
0

OP#188 remove Jenksinfile from public mirror

This commit is contained in:
2025-12-03 15:57:10 +01:00
parent 11969d7dbe
commit d92a12cea5
2 changed files with 2 additions and 3 deletions

3
Jenkinsfile vendored
View File

@@ -110,10 +110,9 @@ pipeline {
git pull origin master git pull origin master
git branch -D development git branch -D development
git branch -D jenkins-build-$BUILD_NUMBER git branch -D jenkins-build-$BUILD_NUMBER
git filter-repo --path Jenkinsfile --invert-paths
git remote add master https://gitea.confdroid.com/confdroid/prometheus_cd.git 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" \ git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
push master --mirror push master - $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main -mirror
''' '''
} }
} }

View File

@@ -46,7 +46,7 @@ Configurable options:
- `ps_auth_ext_user`must be a valid user - `ps_auth_ext_user`must be a valid user
- `ps_auth_ext_pass`must be a valid password - `ps_auth_ext_pass`must be a valid password
## Repo Documentation ## Puppet Documentation
See the full Puppet documentation including parameters in `docs/index.html` See the full Puppet documentation including parameters in `docs/index.html`