Skip to content

chore(release): release data for v1.2.13 - #438

Merged
acamarata merged 1 commit into
mainfrom
release-data/v1.2.13
Oct 20, 2026
Merged

acamarata merged 1 commit into
mainfrom
release-data/v1.2.13

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Written by the release workflow from the bytes published on v1.2.13: sha256 and release_signature per plugin. Review the diff against the Release assets; do not edit by hand.

Before merging: registry.json, catalog.json and counts.json are projections of releases.json that need the private bundles repo, which the workflow token cannot read.
Run bash scripts/plugin-counts.sh on a maintainer machine with the bundles checkout and push the result to this branch; the registry gate stays red until then.
Pushing also starts the required checks, which a PR opened with the workflow token does not.

@acamarata
acamarata merged commit 1349341 into main Oct 20, 2026
1 check passed
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