Pick a branch or an issue when creating a workspace - #35

Merged

FireSquid6 merged 8 commits into

mainfrom

12-better-create-workspace-issue

Aug 3, 2026

Commits on Jul 27, 2026

Serve repo branches and create a workspace from an issue
FireSquid6
committed
03a08ec
Make issue linking idempotent and stop git prompting on a probe
FireSquid6
committed
a4c9aa8
Pick a branch or an issue when creating a workspace
FireSquid6
committed
a4f10b8
Resolve an issue branch on evidence, and let git give up on its own
FireSquid6
committed
f420884
Stop the branch dropdown being clipped, and Enter eating a new branch
FireSquid6
committed
39208c9
Portal the branch dropdown out of the modal
FireSquid6
committed
96a4a2b

Commits on Aug 3, 2026

Merge main into the create-workspace branch

FireSquid6
and
claude
committed
b653f1c
Theme the portalled combobox list

FireSquid6
and
claude
committed
1883de8