Repository navigation

Shared project sandbox, dev containers, and tab renaming - #16

Merged

wess merged 5 commits into

mainfrom

Jul 27, 2026

Merged

Shared project sandbox, dev containers, and tab renaming#16
wess merged 5 commits into
mainfrom
sandbox

Commits on Jul 27, 2026
- Share one container between a project and its agent team
  Wess Cope
  committed
  a368cc6
- Put the sandbox where users will find it
  Wess Cope
  committed
  c2799d4
- Right-click a tab to rename it, and make the rename dialog visible
  Wess Cope
  committed
  c097015
- Document dev containers, and honour the fields that were only parsed
  Wess Cope
  committed
  b7accbc
- Version bump to 1.31.0
  Wess Cope
  committed
  d312c27