main
ldl 5 months ago
parent bc367be8b9
commit 385dd58401

4
Jenkinsfile vendored

@ -900,9 +900,9 @@ pipeline {
git config user.name "Jenkins CI"
git config user.email "ldl@chzu.edu.cn"
git remote remove educoder 2>nul || echo Remote educoder does not exist
git remote add educoder https://bdgit.educoder.net/pu6zrsfoy/slms.git
git remote add educoder http://localhost:3000/gitea/slms.git
git fetch --unshallow 2>nul || echo Already a complete repository
git push https://%USER_ENC%:%PASS_ENC%@bdgit.educoder.net/pu6zrsfoy/slms.git HEAD:refs/heads/main --force
git push http://localhost:3000/gitea/slms.git HEAD:refs/heads/main --force
'''
}
echo '✓ 源代码推送到 main 成功'

Loading…
Cancel
Save