OP#188 remove Jenksinfile from public mirror
This commit is contained in:
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@@ -112,7 +112,7 @@ pipeline {
|
|||||||
git branch -D jenkins-build-$BUILD_NUMBER
|
git branch -D jenkins-build-$BUILD_NUMBER
|
||||||
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 - $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main -mirror
|
push master $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main --mirror
|
||||||
'''
|
'''
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user