Add workspace manifests and active workspace commands - #2738

Merged

Widthdom merged 11 commits into

mainfrom

fix-issue1708-1709-1710

May 31, 2026

Commits on May 31, 2026

Add workspace config commands for issues #1708 #1709 #1710
Widthdom
committed
c900d76
Merge origin/main into workspace issue branch
Widthdom
committed
2d2d8d1
Fix active workspace query resolution for issue #1710
Widthdom
committed
aec369d
Reject unknown workspace member for issue #1710
Widthdom
committed
772c66d
Stabilize workspace config tests for issue #1709
Widthdom
committed
5124fa4
Harden active workspace handling for issue #1710
Widthdom
committed
582323b
Honor JSON errors for workspace commands #1709 #1710
Widthdom
committed
1ae6c0f
Merge origin/main after workspace fixes
Widthdom
committed
d11306f
Reject workspace names without manifest #1710
Widthdom
committed
a7e8468
Restore extractor docs after workspace merge #1709
Widthdom
committed
a88d7c1
Merge remote-tracking branch 'origin/main' into fix-issue1708-1709-1710
Widthdom
committed
11ee938