Skip to content

Portfolio: Mark LudicrousDB as GitHub-only - #97

Merged
JJJ merged 1 commit into
mainfrom
policy/ludicrousdb-github-only
Sep 23, 2026
Merged

JJJ merged 1 commit into
mainfrom
policy/ludicrousdb-github-only

Conversation

@JJJ

@JJJ JJJ commented Sep 23, 2026

Copy link
Copy Markdown
Contributor

The repository owner confirmed LudicrousDB is distributed from GitHub, not WordPress.org, and authorized correcting its release policy. Change only the LudicrousDB inventory flag to wordpress_org: false and pin that decision with a regression assertion. The corresponding LudicrousDB manifest and AGENTS.md correction is stuttter/ludicrousdb#228; its metadata gate requires this immutable inventory change first. Local narrow tests and the full central test suite pass. No release credentials, workflows, or other plugin policies change.

@JJJ
JJJ marked this pull request as ready for review September 23, 2026 01:38
@JJJ
JJJ merged commit efd1ede into main Sep 23, 2026
1 check passed
@JJJ
JJJ deleted the policy/ludicrousdb-github-only branch September 23, 2026 01:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant