Skip to content

[raft] Form the Raft groups through the admin API - #1908

Closed
MariemBaccari wants to merge 4 commits into
interuss:masterfrom
Orbitalize:use_admin_api
Closed

MariemBaccari wants to merge 4 commits into
interuss:masterfrom
Orbitalize:use_admin_api

Conversation

@MariemBaccari

@MariemBaccari MariemBaccari commented Nov 4, 2026 •

Copy link
Copy Markdown
Contributor

This PR closes #1719 and #1802. It depends on the previous PRs implementing pool membership management features so only the last commit should be reviewed.
Raft groups are now formed through the admin API with dssctl instead of --raft_peers. --raft_node_id and --raft_peers are replaced by --raft_url, the URL at which the other nodes reach this node and which identifies the node.

Tested locally:

  • Removing
  • Re-adding a removed node with a new ID
  • Restarting the leader

@MariemBaccari
MariemBaccari marked this pull request as draft November 9, 2026 16:41
@MariemBaccari

Copy link
Copy Markdown
Contributor Author

Closing as I divided this PR in smaller ones.

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

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

[raft][gate 2] Pool membership management

1 participant