rewrite pipeline to reflect pushing same commits to both remotes

This commit is contained in:
2026-04-14 13:57:14 +02:00
parent fd214f6a7d
commit 1e52fd312d

7
Jenkinsfile vendored
View File

@@ -116,10 +116,11 @@ pipeline {
git fetch origin git fetch origin
git checkout master git checkout master
git reset --hard origin/master git reset --hard origin/master
git remote remove gitea || true git remote get-url master >/dev/null 2>&1 \
git remote add gitea https://sourcecode.confdroid.com/confdroid/confdroid_ssh.git && git remote set-url master https://sourcecode.confdroid.com/confdroid/confdroid_ssh.git \
|| git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_ssh.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 gitea refs/heads/master:refs/heads/master push --force master refs/heads/master:refs/heads/master
''' '''
} }
} }