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

Move peer id from metric name to labels in raft replication #416

Closed

Conversation

satyanash
Copy link

@satyanash satyanash commented Aug 18, 2020

This PR builds on top of and closes #365

@hashicorp-cla
Copy link

hashicorp-cla commented Aug 18, 2020

CLA assistant check
All committers have signed the CLA.

@banks
Copy link
Member

banks commented Aug 19, 2020

Hey @satyanash, thanks for making this PR.

I must apologise though - after having said this seemed like a reasonable approach and encouraging you to make a new PR I discovered we have someone on the team currently writing a proposal for a more holistic approach for how we enhance and deprecate metrics and potentially even change our metrics libraries. Hopefully that work will be done in the next few weeks and be in the next major release of our projects anyway.

Given that's already under discussion across a few teams here, we'll have to hold on merging this until we've decided overall on the best approach for evolving metrics, then hopefully we can either merge it or make the equivalent change under that new design.

Thanks again for the contribution though and again, my apologies for steering you this way!

@mikemorris
Copy link
Contributor

Is this fixed with the merge of #409?

@mikemorris mikemorris closed this Oct 7, 2020
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.

4 participants