chore: publish from staged

This commit is contained in:
github-actions[bot]
2026-06-09 06:57:59 +00:00
parent 4a5a7897ad
commit d012a24e98
2 changed files with 12 additions and 4 deletions
+2 -1
View File
@@ -23,10 +23,11 @@ export const EXTERNAL_PLUGIN_POLICIES = Object.freeze({
}),
});
// NOTE: Keep in sync with PLUGIN_JSON_CANDIDATES in external-plugin-quality-gates.mjs
const EXTERNAL_PLUGIN_ROOT_MANIFEST_PATHS = Object.freeze([
"plugin.json",
".github/plugin/plugin.json",
".plugin/plugin.json",
".plugins/plugin.json",
]);
function resolvePolicy(policy) {