chore: publish from main

This commit is contained in:
github-actions[bot]
2026-07-10 04:31:49 +00:00
parent 51b6fa0253
commit da7bfca75a
3 changed files with 37 additions and 2 deletions
+1 -1
View File
@@ -140,7 +140,7 @@ function cloneSubmissionRepository(workDir, plugin) {
// NOTE: Keep in sync with EXTERNAL_PLUGIN_ROOT_MANIFEST_PATHS in external-plugin-validation.mjs
const PLUGIN_JSON_CANDIDATES = [
[".github", "plugin", "plugin.json"],
[".plugins", "plugin.json"],
[".plugin", "plugin.json"],
["plugin.json"],
];
+1 -1
View File
@@ -27,7 +27,7 @@ export const EXTERNAL_PLUGIN_POLICIES = Object.freeze({
const EXTERNAL_PLUGIN_ROOT_MANIFEST_PATHS = Object.freeze([
"plugin.json",
".github/plugin/plugin.json",
".plugins/plugin.json",
".plugin/plugin.json",
]);
function resolvePolicy(policy) {