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

*: metrics by namespaces. #810

Merged
merged 2 commits into from Oct 24, 2017

Conversation

Projects
None yet
3 participants
@disksing
Member

disksing commented Oct 23, 2017

No description provided.

@disksing disksing requested review from nolouch, huachaohuang and Connor1996 Oct 23, 2017

@disksing

This comment has been minimized.

Show comment
Hide comment
@disksing
Member

disksing commented Oct 24, 2017

@siddontang

This comment has been minimized.

Show comment
Hide comment
@siddontang

siddontang Oct 24, 2017

Member

LGTM

Member

siddontang commented Oct 24, 2017

LGTM

@disksing disksing merged commit 7bb7f25 into pingcap:master Oct 24, 2017

4 checks passed

ci/circleci Your tests passed on CircleCI!
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
jenkins-ci-pd/build Jenkins job succeeded.
Details
license/cla Contributor License Agreement is signed.
Details

@disksing disksing deleted the disksing:namespace-metrics branch Oct 24, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment