relab / hotstuff

MIT License
172 stars 53 forks source link

Branches to PRs: merge or discard #20

Closed meling closed 1 year ago

meling commented 4 years ago

Would be nice to get the various branches merged or discarded. Started to review some of the branches, and saw a few typos in critical places, so would be nice to go via PRs, so that these can be fixed... Or I guess I could just fix, commit, and push directly to the branches, if you are ok with that. But it would be nice to know first, which branches are worth keeping.