Skip to content

chore(release): mark beta-17 released#482

Merged
jeremi merged 1 commit into
mainfrom
codex/beta17-release-closeout
Jul 25, 2026
Merged

chore(release): mark beta-17 released#482
jeremi merged 1 commit into
mainfrom
codex/beta17-release-closeout

Conversation

@jeremi

@jeremi jeremi commented Jul 25, 2026

Copy link
Copy Markdown
Member

Summary

  • mark beta-17 / v0.13.0 as released after successful publication and independent verification
  • leave the immutable source ref, tag, artifact versions, external pin, and held hosted/adopter gates unchanged

Verification

  • release/scripts/registry-release validate release/manifests/registry-stack-beta-17.yaml
  • release/scripts/registry-release validate-docsets
  • release/scripts/registry-release audit release/manifests/import-map-2026-06-24.yaml
  • REGISTRY_RELEASE_SOURCE_MODE=monorepo release/scripts/check-release-source-model.sh
  • detached-tag registry-release validate-source
  • exact 106-asset inventory and GitHub API digest/size verification
  • 35 cosign signatures and 35 SLSA provenance subjects
  • published OCI application-manifest, ordered-layer, provenance, package-linkage, and anonymous-pull verification
  • git diff --check

Release: https://github.com/registrystack/registry-stack/releases/tag/v0.13.0
Workflow: https://github.com/registrystack/registry-stack/actions/runs/30154192076

Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
@jeremi
jeremi enabled auto-merge (squash) July 25, 2026 11:13
@jeremi
jeremi merged commit ed1d377 into main Jul 25, 2026
28 checks passed
@jeremi
jeremi deleted the codex/beta17-release-closeout branch July 25, 2026 11:14

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: f6024d23ba

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

source_ref: d45761a0104bd3d9c2e4b4db391d4223f289bd44
source_tag: v0.13.0
status: release-candidate
status: released

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Add the required DCO sign-off

This commit has no Signed-off-by trailer, so the repository's DCO check will reject it even though the manifest transition itself is valid; recreate the commit with git commit -s or otherwise add a matching sign-off trailer.

AGENTS.md reference: AGENTS.md:L70-L70

Useful? React with 👍 / 👎.

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