Skip to content

Conversation

@wenkokke
Copy link
Collaborator

@wenkokke wenkokke commented May 2, 2025

For consistency with MergeSchedule and because we have to mention the constructor over and over in the documentation.

@wenkokke wenkokke changed the title fix: rename MergePolicyLazyLevelling to LazyLevelling fix: rename MergePolicyLazyLevelling to LazyLevelling May 2, 2025
Copy link
Collaborator

@recursion-ninja recursion-ninja left a comment

Choose a reason for hiding this comment

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

📤 LGTM

@wenkokke wenkokke added this pull request to the merge queue May 5, 2025
Merged via the queue into main with commit 4a75aec May 5, 2025
28 checks passed
@wenkokke wenkokke deleted the wenkokke/rename-lazy-levelling branch May 5, 2025 14:26
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