mirror of
https://github.com/openai/codex.git
synced 2026-10-20 17:38:45 +00:00
## Why A queued skill refresh can outlive the workspace it was requested for when the working directory changes. ## What changed - Refresh skills for the current working directory when the skills management popup closes. - Ignore queued `ListSkills` commands whose directories do not include the current working directory. - Require an explicit working directory when constructing `WorkspaceCommand` and always pass it to app-server command execution. Update Git and GitHub metadata probes to use the constructor. ## Testing Extend regression tests to verify that closing skill management refreshes the configured working directory and that stale skill refreshes after a directory change do not issue a `skills/list` request. GitOrigin-RevId: 47ad1d95930840b3f6f0e20d7d8fe8d025e789e6