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

Merge branch develop into master #125

Closed
28 tasks done
Tracked by #128
GanZiheng opened this issue May 17, 2022 · 3 comments
Closed
28 tasks done
Tracked by #128

Merge branch develop into master #125

GanZiheng opened this issue May 17, 2022 · 3 comments

Comments

@GanZiheng
Copy link
Contributor

GanZiheng commented May 17, 2022

Development Task

Merge develop into master part by part.

Development Progress

The pull requests merged at develop branch are as follows, I would try to apply them into master.

@GanZiheng
Copy link
Contributor Author

@skyzh PTAL, thx.

@GanZiheng
Copy link
Contributor Author

I think we may not need to apply these prs one by one. I would like to port Badger and create pr by module, such as levels, txn and so on.

@skyzh
Copy link
Member

skyzh commented May 17, 2022

That's cool! I think it's also okay to port module by module. But sometimes, reviewers might not be knowing what some code is doing without looking ahead for future PRs. I'd be okay with any solution.

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

No branches or pull requests

3 participants