Skip to content

Allow to overwrite metric files#71

Merged
treigerm merged 1 commit into
mainfrom
metrics_overwrite
May 27, 2026
Merged

Allow to overwrite metric files#71
treigerm merged 1 commit into
mainfrom
metrics_overwrite

Conversation

@treigerm
Copy link
Copy Markdown
Member

Just a small quality of life improvement that allows the metrics script to overwrite existing files. The default behavior is still to not overwrite. However, sometimes the metrics files are outdated and need to be updated.

Copy link
Copy Markdown
Collaborator

@juntyr juntyr left a comment

Choose a reason for hiding this comment

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

LGTM

@treigerm treigerm merged commit 42ba6be into main May 27, 2026
3 checks passed
@treigerm treigerm deleted the metrics_overwrite branch May 27, 2026 08:58
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