feat: support remote_sync for plugin install/uninstall.

2026-04-26 15:45:02 +00:00 · 2026-03-16 19:49:11 -07:00
parent b77fe8fefe
commit 18214bdeaf
17 changed files with 743 additions and 101 deletions
--- a/codex-rs/app-server-protocol/schema/json/v2/PluginUninstallParams.json
+++ b/codex-rs/app-server-protocol/schema/json/v2/PluginUninstallParams.json
@@ -1,6 +1,10 @@
 {
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {
+    "forceRemoteSync": {
+      "description": "When true, apply the remote plugin change before the local uninstall flow.",
+      "type": "boolean"
+    },
    "pluginId": {
      "type": "string"
    }