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.

Sign up for GitHub

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

Jump to bottom

expose merge mode by config and add metrics #987

Merged
merged 1 commit into from
Jul 7, 2020
Merged

expose merge mode by config and add metrics #987

merged 1 commit into from
Jul 7, 2020

Conversation

july2993
Copy link
Contributor

@july2993 july2993 commented Jul 7, 2020

What problem does this PR solve?

pick #980

What is changed and how it works?

Release note

  • No Release note.

@july2993
Copy link
Contributor Author

july2993 commented Jul 7, 2020

/run-all-tests

@july2993 july2993 requested a review from lichunzhu July 7, 2020 05:19
lichunzhu
lichunzhu approved these changes Jul 7, 2020
View reviewed changes
Copy link
Contributor

@lichunzhu lichunzhu left a comment

Choose a reason for hiding this comment

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

LGTM

@july2993 july2993 merged commit 4018c14 into pingcap:release-3.0 Jul 7, 2020
@july2993 july2993 deleted the pick0707 branch July 7, 2020 06:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lichunzhu lichunzhu lichunzhu approved these changes

Assignees
No one assigned
Labels
type/cherry-pick
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@july2993 @lichunzhu