Skip to content
This repository has been archived by the owner on Jun 24, 2021. It is now read-only.

update metrics #822

Merged
merged 1 commit into from
Jul 12, 2019
Merged

update metrics #822

merged 1 commit into from
Jul 12, 2019

Conversation

liubo0127
Copy link
Contributor

superlzs0476
superlzs0476 approved these changes Jul 12, 2019
View reviewed changes
Copy link
Contributor

@superlzs0476 superlzs0476 left a comment

Choose a reason for hiding this comment

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

LGTM

@liubo0127 liubo0127 merged commit e7b60ea into pingcap:master Jul 12, 2019
@liubo0127 liubo0127 deleted the liubo/update-metric branch July 12, 2019 07:44
liubo0127 added a commit that referenced this pull request Jul 12, 2019
@liubo0127
update metrics (#822)
0cd69e0
liubo0127 pushed a commit that referenced this pull request Jul 12, 2019
@nolouch @liubo0127
[cherry-pick ]*: update pd metrics (#771) (#817)
750662a 
* *: update pd metrics (#771)

* *: update pd metrics

Signed-off-by: nolouch <nolouch@gmail.com>

* update metrics (#822)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@superlzs0476 superlzs0476 superlzs0476 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@liubo0127 @superlzs0476