diff --git a/.gitignore b/.gitignore index ad23d306..616f512f 100644 --- a/.gitignore +++ b/.gitignore @@ -93,3 +93,17 @@ src/databases/officer_db/src/plugin-schemas.gen.ts # # Generate one locally whenever a diff is useful to read. It stays local. src/databases/officer_db/migrations/ + +# ── Marketplace-installed plugins ── +# +# A plugin fetched from the marketplace is a CLONE with its own .git and its own repository. Left +# tracked, `git add -A` after an install commits it as a gitlink — a pointer to a commit this repo does +# not contain, which then breaks anyone who clones the platform and does not have access to that plugin. +# Happened on 2026-08-15, one commit after the marketplace landed. +# +# The plugins that genuinely ship with the platform are re-included by name below. Adding one is a +# deliberate act, so keeping this list by hand is the right amount of friction — an unlisted plugin +# directory is an install, not a source file. +/plugins/*/ +!/plugins/example/ +!/plugins/offscale/ diff --git a/plugins/music b/plugins/music deleted file mode 160000 index 6e07da7a..00000000 --- a/plugins/music +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6e07da7a3650786e5ef729ee6ae7ff2b6a37862a