Skip to content

release: hotfix — workspace ops rejected documented Value::Null extra#191

Merged
haowei2000 merged 2 commits into
mainfrom
develop
Jul 14, 2026
Merged

release: hotfix — workspace ops rejected documented Value::Null extra#191
haowei2000 merged 2 commits into
mainfrom
develop

Conversation

@haowei2000

Copy link
Copy Markdown
Collaborator

Ships #190: workspace browse (ls/read/git) was broken in production by the typed WorkspaceReqExtra parse rejecting the documented Value::Null. Null now maps to defaults; regression-tested.

🤖 Generated with Claude Code

haowei2000 and others added 2 commits July 14, 2026 16:03
The typed WorkspaceReqExtra conversion (#186) rejected `Value::Null` — the
value most read/git workspace callers pass per workspace_call's own docs
("Pass Value::Null (or an empty object) when the op needs none") — turning
every ls/read/git browse into `bad workspace op field: invalid type: null`.
Null now maps to defaults via parse_workspace_extra; deny_unknown_fields
still rejects typo'd keys. Regression test covers null/{}/valid/typo.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
fix(gateway): workspace ops broke on the documented Value::Null extra
@haowei2000
haowei2000 merged commit 9b3a00f into main Jul 14, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant