3
0

OP#253 add step to delete rpms from remote mirror

This commit is contained in:
12ww1160
2025-12-13 00:08:53 +01:00
parent ae0b230f07
commit 1cca5803dd

1
Jenkinsfile vendored
View File

@@ -157,7 +157,6 @@ pipeline {
sh ''' sh '''
git config user.name "Jenkins Server" git config user.name "Jenkins Server"
git config user.email jenkins@confdroid.com git config user.email jenkins@confdroid.com
git rm -f *.rpm
git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit" git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit"
git push origin HEAD:master git push origin HEAD:master
''' '''