Skip to content

Conversation

kmvanbrunt
Copy link
Member

No description provided.

@kmvanbrunt kmvanbrunt requested a review from tleonhardt as a code owner October 2, 2025 20:42
Copy link
Contributor

github-actions bot commented Oct 2, 2025

🤖 Hi @kmvanbrunt, I've received your request, and I'm working on it now! You can track my progress in the logs for more details.

Copy link

codecov bot commented Oct 2, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.92%. Comparing base (279861d) to head (2fce0d9).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1527      +/-   ##
==========================================
+ Coverage   98.90%   98.92%   +0.02%     
==========================================
  Files          21       21              
  Lines        4933     4933              
==========================================
+ Hits         4879     4880       +1     
+ Misses         54       53       -1     
Flag Coverage Δ
unittests 98.92% <ø> (+0.02%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

📋 Review Summary

This pull request refactors the --output_file argument to --output-file for the history command to align with common command-line interface conventions. The changes are well-executed, consistently updating the command implementation, documentation, and changelog.

🔍 General Feedback

  • The change is a good improvement for consistency in the command-line interface.
  • The pull request is focused and includes all necessary updates to documentation and changelogs.

@tleonhardt tleonhardt merged commit 4163383 into main Oct 2, 2025
42 checks passed
@tleonhardt tleonhardt deleted the flag_rename branch October 2, 2025 21:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants