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

WT-13851 Rename two live restore types #11303

Merged
merged 3 commits into from
Dec 6, 2024
Merged

WT-13851 Rename two live restore types #11303

merged 3 commits into from
Dec 6, 2024

Conversation

luke-pearson
Copy link
Contributor

This is a trivial change that renames the following:

  • WT_DESTINATION_METADATA -> WT_LIVE_RESTORE_DESTINATION_METADATA
  • WT_LIVE_RESTORE_HOLE_LIST -> WT_LIVE_RESTORE_HOLE_NODE

Copy link

github-actions bot commented Dec 5, 2024

Thanks for creating a pull request! Please answer the questions below by editing this comment.

Type of change made in this PR

  • Functional change
  • Test-only change
  • Refactor-only change
  • Other non-functional change

What makes this change safe?

Very low risk, two renames. Given how low risk it is PR testing is sufficient to capture any failure modes.

Checklist before requesting a review

  • I have performed a self-review of my code.
  • I have made corresponding changes to the documentation, or no documentation change is needed.
  • I have tests that show my change is correct, or have described above why functional test changes are not required.

Copy link

wiredtiger-prbot bot commented Dec 5, 2024

Metric (for added/changed code) Coverage
Line coverage 0% (0/13)
Branch coverage N/A

Copy link
Contributor

@zunyiliu zunyiliu left a comment

Choose a reason for hiding this comment

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

LGTM, just a heads up, as my PR has merged into develop which will conflict with this change, please pull develop and fix that, thank you Luke!

@luke-pearson luke-pearson added this pull request to the merge queue Dec 6, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Dec 6, 2024
@luke-pearson luke-pearson added this pull request to the merge queue Dec 6, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Dec 6, 2024
@luke-pearson luke-pearson added this pull request to the merge queue Dec 6, 2024
Merged via the queue into develop with commit c3df5be Dec 6, 2024
10 checks passed
@luke-pearson luke-pearson deleted the wt-13851 branch December 6, 2024 22:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants