From e923c8c0e2c26cea4f8703d2e0e41f82e9586568 Mon Sep 17 00:00:00 2001 From: 12ww1160 <12ww1160@confdroid.com> Date: Thu, 16 Apr 2026 22:00:34 +0200 Subject: [PATCH] OP#586 add tagging sync --- Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 6838119..ac287db 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -118,8 +118,8 @@ pipeline { git rm -f Jenkinsfile git commit -m "Remove Jenkinsfile for Gitea mirror" || echo "No changes to commit" git remote get-url master >/dev/null 2>&1 \ - && git remote set-url master https://sourcecode.confdroid.com/confdroid/confdroid_java.git \ - || git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_java.git + && git remote set-url master https://sourcecode.confdroid.com/confdroid/confdroid_jenkins.git \ + || git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_jenkins.git git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ push --force master HEAD:refs/heads/master git ls-remote --heads master | awk '{print $2}' | sed 's#refs/heads/##' | while read branch; do @@ -130,13 +130,13 @@ pipeline { done git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ push master --tags - git ls-remote --tags master | awk '{print $2}' | sed -e 's#refs/tags/##' -e 's/\^{}$//' | sort -u | while read tag; do + git ls-remote --tags master | awk '{print $2}' | sed 's#refs/tags/##' | cut -d'^' -f1 | sort -u | while read tag; do if [ -n "$tag" ] && ! git show-ref --tags --verify --quiet "refs/tags/$tag"; then git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ push master ":refs/tags/$tag" fi done - ''' + ''' } } }