chore: publish from main

This commit is contained in:
github-actions[bot]
2026-07-17 08:04:30 +00:00
parent 818c0f7c53
commit b1aaa69f0a
286 changed files with 51076 additions and 67 deletions
+7 -2
View File
@@ -305,9 +305,14 @@ function validateExtensionManifest(folderName) {
errors.push("x-awesome-copilot field must not be present (use convention-based logo instead)");
}
// Extension convention: extensions field must be "."
if (parsed.extenions !== undefined) {
errors.push('use "extensions" field (found misspelled key "extenions")');
}
// Extension convention: source manifests keep extensions at repository root.
// Materialization rewrites this to "extensions" on distribution branches.
if (parsed.extensions !== ".") {
errors.push('extensions field must be exactly "." (extension convention)');
errors.push('extensions field must be exactly "." in source manifests (extension convention)');
}
return { errors, plugin: parsedPlugin };