From 1cca5803ddfcf9356df5621fad94039d1129d8fc Mon Sep 17 00:00:00 2001 From: 12ww1160 Date: Sat, 13 Dec 2025 00:08:53 +0100 Subject: [PATCH] OP#253 add step to delete rpms from remote mirror --- Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 980ddfa..6bd9acc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -157,7 +157,6 @@ pipeline { sh ''' git config user.name "Jenkins Server" 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 push origin HEAD:master '''