OP#188 remove Jenksinfile from public mirror
This commit is contained in:
1
Jenkinsfile
vendored
1
Jenkinsfile
vendored
@@ -110,6 +110,7 @@ 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 --mirror
|
||||||
|
|||||||
Reference in New Issue
Block a user