From 363f5461912d31ade8faa5e353430746d8a937a5 Mon Sep 17 00:00:00 2001 From: 12ww1160 Date: Thu, 4 Dec 2025 19:43:07 +0100 Subject: [PATCH] OP#200 add gitea step and push over --- Jenkinsfile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index d000c2e..eca0f0d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,9 +93,10 @@ pipeline { git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit" git push origin HEAD:master ''' + } } } - } + stage('Mirror to Gitea') { steps { withCredentials([usernamePassword( @@ -116,7 +117,8 @@ pipeline { push master --mirror ''' } - } + } + } } } } \ No newline at end of file