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

pdpb: introduce QueryRegion stream #1273

Merged
merged 2 commits into from
Jan 17, 2025

Conversation

JmPotato
Copy link
Member

@JmPotato JmPotato marked this pull request as ready for review January 17, 2025 09:20
@ti-chi-bot ti-chi-bot bot requested a review from nolouch January 17, 2025 09:20
@JmPotato JmPotato changed the title Introduce QueryRegion stream pdpb: introduce QueryRegion stream Jan 17, 2025
Copy link

ti-chi-bot bot commented Jan 17, 2025

[LGTM Timeline notifier]

Timeline:

  • 2025-01-17 09:27:55.41504464 +0000 UTC m=+283546.870090788: ☑️ agreed by nolouch.
  • 2025-01-17 09:30:53.725953303 +0000 UTC m=+283725.180999450: ☑️ agreed by rleungx.

Copy link

ti-chi-bot bot commented Jan 17, 2025

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: nolouch, overvenus, rleungx

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@ti-chi-bot ti-chi-bot bot added the approved label Jan 17, 2025
@ti-chi-bot ti-chi-bot bot merged commit 2b87602 into pingcap:master Jan 17, 2025
5 checks passed
@JmPotato JmPotato deleted the stream_get_region branch January 17, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants