feat(pool): pooled workspaces — lease a ready environment instead of building a worktree - #279

Draft

KoenLav wants to merge 12 commits into

johannesjo:mainfrom

KoenLav:feat/pooled-workspaces

Commits on Sep 17, 2026

feat(pool): add pooled-workspace types and persistence

KoenLav
and
claude
committed
0676833
feat(pool): discover the member repositories of an environment

KoenLav
and
claude
committed
c4a66b8
feat(pool): lease and release a pooled environment

KoenLav
and
claude
committed
3e6cee1
feat(pool): create and close tasks that lease an environment

KoenLav
and
claude
committed
9903b23
feat(pool): show one change across every repo it spans

KoenLav
and
claude
committed
ad87f93
feat(pool): give each environment its own ports

KoenLav
and
claude
committed
cd47a60
feat(pool): configure a pool and pick it when starting a task

KoenLav
and
claude
committed
6e71969
feat(pool): merge and push every repository the change touched

KoenLav
and
claude
committed
03e883b
docs(pool): document pooled workspaces

KoenLav
and
claude
committed
788d5a4
fix(pool): report a pool task's status from its member repos

KoenLav
and
claude
committed
a383063
fix(pool): match the manifest drift and the workspace's own repo

KoenLav
and
claude
committed
c912af2
feat(pool): carry shared-library changes back to their own repository

KoenLav
and
claude
committed
d2ac289