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

chore: optimize merge into code #13541

Merged
merged 4 commits into from
Nov 2, 2023
Merged

Conversation

JackTan25
Copy link
Contributor

@JackTan25 JackTan25 commented Nov 2, 2023

I hereby agree to the terms of the CLA available at: https://databend.rs/dev/policies/cla/

Summary

optimize distributed merge into advised by sundy in #13151
Summary about this PR

  • Closes #issue

This change is Reviewable

Copy link

vercel bot commented Nov 2, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

1 Ignored Deployment
Name Status Preview Comments Updated (UTC)
databend ⬜️ Ignored (Inspect) Visit Preview Nov 2, 2023 0:32am

@JackTan25 JackTan25 requested a review from sundy-li November 2, 2023 06:07
@github-actions github-actions bot added the pr-chore this PR only has small changes that no need to record, like coding styles. label Nov 2, 2023
@JackTan25 JackTan25 changed the title chore: optimize chore: optimize merge into code Nov 2, 2023
@BohuTANG BohuTANG merged commit 7fd76ad into databendlabs:main Nov 2, 2023
andylokandy pushed a commit to andylokandy/databend that referenced this pull request Nov 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-chore this PR only has small changes that no need to record, like coding styles.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants