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

lock_manager: polish waiter manager (#6244) #6296

Conversation

youjiali1995
Copy link
Contributor

Signed-off-by: youjiali1995 zlwgx1023@gmail.com

What have you changed?

Cherry pick #6244

Signed-off-by: youjiali1995 <zlwgx1023@gmail.com>
@breezewish
Copy link
Member

/run-all-tests

Copy link
Contributor

@sticnarf sticnarf left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Member

@AndreMouche AndreMouche left a comment

Choose a reason for hiding this comment

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

LGTM

@AndreMouche
Copy link
Member

/merge

@sre-bot sre-bot added the status/can-merge Indicates a PR has been approved by a committer. label Dec 20, 2019
@sre-bot
Copy link
Contributor

sre-bot commented Dec 20, 2019

Your auto merge job has been accepted, waiting for 6085

@sre-bot
Copy link
Contributor

sre-bot commented Dec 20, 2019

/run-all-tests

@sre-bot
Copy link
Contributor

sre-bot commented Dec 20, 2019

@youjiali1995 merge failed.

@youjiali1995
Copy link
Contributor Author

/test

@youjiali1995 youjiali1995 added the priority/release-blocker This issue blocks a release. Please solve it ASAP. label Dec 20, 2019
@AndreMouche AndreMouche merged commit ab9d15b into tikv:release-3.0 Dec 20, 2019
@youjiali1995 youjiali1995 deleted the cherry-pick-improve-waiter-manager-to-3.0 branch December 20, 2019 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority/release-blocker This issue blocks a release. Please solve it ASAP. status/can-merge Indicates a PR has been approved by a committer. type/cherry-pick Type: PR - Cherry pick
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants