From 3069ae9393aa5c3e39aecd8f8be7be974d62f1c0 Mon Sep 17 00:00:00 2001 From: Jose Antonio Alatorre Date: Wed, 21 Oct 2026 11:15:01 +0200 Subject: [PATCH] Point the Codex marketplace at the published mainsequence plugin 0.3.0 The single entry is now `mainsequence`, installed from @dev-mainsequence/codex-plugin 0.3.0. The former `mainsequence-devtools` entry is removed by the owner's decision (ADR 0003); installed copies keep running from Codex's cache until users install the new entry, trust its hook and remove the old plugin, as the plugin repository's README explains. Merge only after @dev-mainsequence/codex-plugin@0.3.0 is on the npm registry. Co-Authored-By: Claude Fable 5.1 --- .agents/plugins/marketplace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.agents/plugins/marketplace.json b/.agents/plugins/marketplace.json index 2c17c88..e7e70fc 100644 --- a/.agents/plugins/marketplace.json +++ b/.agents/plugins/marketplace.json @@ -5,11 +5,11 @@ }, "plugins": [ { - "name": "mainsequence-devtools", + "name": "mainsequence", "source": { "source": "npm", - "package": "@dev-mainsequence/devtools", - "version": "0.2.8" + "package": "@dev-mainsequence/codex-plugin", + "version": "0.3.0" }, "policy": { "installation": "AVAILABLE",