Skip to content
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

Drop unused store metrics #6042

Merged
merged 1 commit into from
Jul 9, 2024
Merged

Conversation

dapplion
Copy link
Collaborator

@dapplion dapplion commented Jul 3, 2024

Issue Addressed

Is there a way for the linter to caught these unused static refs? I changed them to pub(crate) and still did not raise a warn

Proposed Changes

Drop unused store metrics

@dapplion dapplion added ready-for-merge This PR is ready to merge. ready-for-review The code is ready for review and removed ready-for-merge This PR is ready to merge. labels Jul 3, 2024
@michaelsproul
Copy link
Member

Is there a way for the linter to caught these unused static refs?

I haven't found one. There are probably a bunch of other unused metrics hanging around as well. Maybe a script to git grep the whole repo is the easiest option

@realbigsean
Copy link
Member

@mergify queue

Copy link

mergify bot commented Jul 9, 2024

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at c457a25

mergify bot added a commit that referenced this pull request Jul 9, 2024
@mergify mergify bot merged commit c457a25 into sigp:unstable Jul 9, 2024
28 checks passed
@dapplion dapplion deleted the drop-unused-store-metrics branch July 10, 2024 09:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-review The code is ready for review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants