-
Notifications
You must be signed in to change notification settings - Fork 78
backend: helper to cleanup unique RPM files #4037
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
05fca76 to
20ccfb0
Compare
|
I'm not really sure we need/want to merge this. It's just a matter of cleaning some stuff from backend that we know for sure is uploaded to PULP. |
bd8960f to
889bfb0
Compare
These unique RPMs are successfully migrated to PULP, duplicates are not.
889bfb0 to
25ddbb9
Compare
Pull Request validationFailed🔴 Review - Missing review from a member (2 required) Success🟢 CI - All checks have passed |
| # input() must still use standard string formatting for the prompt | ||
| confirmation = input( | ||
| "WARNING: This script will scan and potentially delete files in '%s'.\n" | ||
| "Do you want to proceed? (yes/no): " % start_dir |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
can you highlight the default?
yes/[no]
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we just needed the script yesterday and at the end decided still not to use it... so this will probably not be merged/used anyway
|
we do not need this anymore |
These unique RPMs are successfully migrated to PULP, duplicates are not.