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

brpb: add filtered_out flag for pitr map #1294

Merged
merged 3 commits into from
Feb 5, 2025

Conversation

Tristan1900
Copy link
Contributor

@Tristan1900 Tristan1900 commented Jan 27, 2025

Added a bool to indicate whether entry should be filtered out or not, we need this information persisted.

@ti-chi-bot ti-chi-bot bot requested a review from TszKitLo40 January 27, 2025 17:08
@ti-chi-bot ti-chi-bot bot added the size/XXL label Jan 27, 2025
Copy link
Contributor

@YuJuncen YuJuncen left a comment

Choose a reason for hiding this comment

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

rest lgtm

proto/brpb.proto Outdated
}

message PitrDBMap{
string name = 1;
IDMap id_map = 2;
repeated PitrTableMap tables = 3;
bool filtered = 4; // whether this db has been filtered out
Copy link
Contributor

Choose a reason for hiding this comment

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

You may put this comment above the field, then the generated code will contain this comment. Also perhaps name this field filtered_out?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

good to know, thanks!

Signed-off-by: Wenqi Mou <[email protected]>
@Tristan1900 Tristan1900 changed the title brpb:add filter for pitr map brpb:add filtered_out flag for pitr map Feb 5, 2025
@Tristan1900 Tristan1900 changed the title brpb:add filtered_out flag for pitr map brpb: add filtered_out flag for pitr map Feb 5, 2025
@ti-chi-bot ti-chi-bot bot added the lgtm label Feb 5, 2025
Copy link

ti-chi-bot bot commented Feb 5, 2025

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: overvenus, YuJuncen

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

Copy link

ti-chi-bot bot commented Feb 5, 2025

[LGTM Timeline notifier]

Timeline:

  • 2025-02-05 03:07:12.907549005 +0000 UTC m=+241104.439960995: ☑️ agreed by YuJuncen.
  • 2025-02-05 03:16:08.880588688 +0000 UTC m=+241640.413000685: ☑️ agreed by overvenus.

@ti-chi-bot ti-chi-bot bot merged commit ad14807 into pingcap:master Feb 5, 2025
5 checks passed
@Tristan1900 Tristan1900 deleted the add-filter-to-pitr-map branch February 6, 2025 20:47
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.

3 participants