Add ephemeral workspaces - #42

Merged

FireSquid6 merged 8 commits into

mainfrom

37-add-ephemeral-workspaces

Aug 4, 2026

Commits on Aug 4, 2026

Let a ship refuse to delete work no remote has

FireSquid6
and
claude
committed
de6a2c5
Persist ephemeral workspaces in the bridge store

FireSquid6
and
claude
committed
ed9f70c
Ask a provider for every pull request on a branch

FireSquid6
and
claude
committed
4677a7e
Mark a workspace ephemeral when it is created from an issue

FireSquid6
and
claude
committed
15e279a
Sweep ephemeral workspaces whose pull request has closed

FireSquid6
and
claude
committed
5bdc05e
Show ephemeral workspaces and let the create form ask for one

FireSquid6
and
claude
committed
1e2490d
Document ephemeral workspaces and the sweep

FireSquid6
and
claude
committed
99c76f0
Drop two comments that restate the store's own code

FireSquid6
and
claude
committed
1e071c6