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.

Sign up for GitHub

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

Jump to bottom

Fix doc #1129

Merged

drmingdrmer merged 1 commit into databendlabs:main from shuoli84:main

Jun 11, 2024

Contributor

shuoli84 commented Jun 8, 2024 •

edited by drmingdrmer

Loading

Checklist

Updated guide with pertinent info (may not always apply).
Squash down commits to one or two logical commits which clearly describe the work you've done.
Unittest is a friend:)

This change is

Member

drmingdrmer commented Jun 9, 2024

Thanks!

The commit message should start with Fixdoc: . Please amend the commit and force push the branch.


          Fixdoc: RemoveNodes -> add_leaner in dynamic-membership

7ea75db

shuoli84 force-pushed the main branch from 9efe96f to 7ea75db Compare

June 9, 2024 02:56

drmingdrmer merged commit 9320022 into databendlabs:main

29 of 30 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet