Skip to content

Conversation

@vvolkl
Copy link
Contributor

@vvolkl vvolkl commented Aug 14, 2025

Fixes #14

Script is getting a bit bulky, but should simplify significantly if we decide to drop support for 2.13.2 and older.

I think with this I'll tag and build the package.

@vvolkl vvolkl merged commit fd0d16f into main Aug 14, 2025
2 checks passed
@vvolkl vvolkl deleted the new-metric-names branch August 14, 2025 14:54
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.

Prefixes for similar metrics

2 participants