Skip to content

[pull] main from hashicorp:main#30

Merged
pull[bot] merged 1 commit intojynychen:mainfrom
hashicorp:main
Mar 19, 2026
Merged

[pull] main from hashicorp:main#30
pull[bot] merged 1 commit intojynychen:mainfrom
hashicorp:main

Conversation

@pull
Copy link

@pull pull bot commented Mar 19, 2026 •
edited
Loading

See Commits and Changes for more details.

Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

@schmichael
docs: document divergence (#668)
5297629 
Adds a document about where HashiCorp Raft diverges from the original
paper.

This is not meant to be exhaustive or comprehensive. Additions and
edits welcome!

* clarify where the "second fix" came from

thanks to @otoolep

* add prevote and leadership transfer

thanks to @tgross
@pull pull bot locked and limited conversation to collaborators Mar 19, 2026
@pull pull bot added the ⤵️ pull label Mar 19, 2026
@pull pull bot merged commit 5297629 into jynychen:main Mar 19, 2026
2 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

⤵️ pull

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@schmichael