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

Remove a few old metrics #7825

Merged
merged 2 commits into from
Nov 16, 2020
Merged

Remove a few old metrics #7825

merged 2 commits into from
Nov 16, 2020

Conversation

terencechain
Copy link
Member

What type of PR is this?

Uncomment one line below and remove others.

Cleanup

What does this PR do? Why is it needed?
These metrics are old and don't really serve much purpose. This PR removes these out dated metrics

Which issues(s) does this PR fix?

Fixes #

Other notes for review

@terencechain terencechain added the Ready For Review A pull request ready for code review label Nov 16, 2020
@terencechain terencechain requested a review from a team as a code owner November 16, 2020 17:31
@terencechain terencechain self-assigned this Nov 16, 2020
@prylabs-bulldozer prylabs-bulldozer bot merged commit 71c6164 into master Nov 16, 2020
@delete-merged-branch delete-merged-branch bot deleted the rm-more-old-metrics branch November 16, 2020 18:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants