Skip to content

HA / multi-replica pool manager #17

Open
Open
HA / multi-replica pool manager#17
Labels
enhancementNew feature or requestpriority/mediumWorth doing, not urgent

Description

@richardcase
richardcase
opened on Sep 5, 2026

Leader election or shared DB so more than one pool manager instance can run concurrently.

Explicitly out of scope for v1. Design: docs/design/2026-09-05-microvm-warm-pool-manager-design.md — "Open Items Deferred Past v1" section.

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestpriority/mediumWorth doing, not urgent

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions