Skip to content

cmdline: simplify meaning of --progress#582

Open
cebtenzzre wants to merge 1 commit into
sahib:developfrom
cebtenzzre:fix-581
Open

cmdline: simplify meaning of --progress#582
cebtenzzre wants to merge 1 commit into
sahib:developfrom
cebtenzzre:fix-581

Conversation

@cebtenzzre

Copy link
Copy Markdown
Contributor

The behavior of --progress could be surprising, especially when combined with --replay. Simplify its meaning and make sure the docs describe it accurately.

Fixes #581

The behavior of --progress could be surprising, especially when combined
with --replay. Simplify its meaning and make sure the docs describe it
accurately.

Fixes sahib#581
@cebtenzzre cebtenzzre linked an issue Aug 9, 2022 that may be closed by this pull request
@vassilit vassilit added this to the 2.11.0 Evolving Echidna milestone Mar 2, 2025
@vassilit vassilit added the develop temporary label for PR that are to be merged on develop label Jul 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

develop temporary label for PR that are to be merged on develop

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Combining --progress and --replay deletes hashes in rmlint.json

2 participants