Skip to content

chore: support cluster id#36

Merged
leiysky merged 1 commit intoscopedb:mainfrom
leiysky:feat/cluster-id
Apr 20, 2025
Merged

chore: support cluster id#36
leiysky merged 1 commit intoscopedb:mainfrom
leiysky:feat/cluster-id

Conversation

@leiysky
Copy link
Collaborator

@leiysky leiysky commented Apr 20, 2025

Part of #35

This PR introduced the concept of cluster id, which is used to identify a cluster.

Since we don't have a explicit join/leave mechanism now, the validation of cluster id is ignored for now.

@leiysky leiysky enabled auto-merge (squash) April 20, 2025 12:50
@leiysky leiysky merged commit e6bf475 into scopedb:main Apr 20, 2025
3 checks passed
@leiysky leiysky deleted the feat/cluster-id branch April 20, 2025 12:52
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

Successfully merging this pull request may close these issues.

2 participants

Comments