Ruslan Nigmatullin 8a13f82204 app-server: Move watch_id to request of fs/watch (#17026) ...

It's easier for clients to maintain watchers if they define the watch
id, so move it into the request.
It's not used yet, so should be a safe change.

8a13f82204 · 2026-04-07 11:22:28 -07:00

History

..

common

Preserve null developer instructions (#16976)

2026-04-07 09:32:14 -07:00

suite

app-server: Move watch_id to request of fs/watch (#17026)

2026-04-07 11:22:28 -07:00

all.rs

fix: separate codex mcp into codex mcp-server and codex app-server (#4471)

2025-09-30 07:06:18 +00:00