Repository navigation

fix: match workspace and agent names case-insensitively - #274

Merged

ethanndickson merged 3 commits into

mainfrom

fix/find-workspace-case-insensitive

Oct 21, 2026

Merged

fix: match workspace and agent names case-insensitively#274
ethanndickson merged 3 commits into
mainfrom
fix/find-workspace-case-insensitive

Commits on Oct 20, 2026
- fix: match workspace names case-insensitively when handling deep links
  coder[bot]
  committed
  d633774
Commits on Oct 21, 2026
- fix: compare workspace and agent names case-insensitively
  ethanndickson
  committed
  6a2dd2c
- fix: derive offline workspaces from the agents map
  ethanndickson
  committed
  6056300