Skip to content

chore(distribution): refresh manifests for v3.19.0 - #152

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
chore/distribution-3.19.0
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
chore/distribution-3.19.0

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated manifest refresh from the release pipeline for v3.19.0.

Version strings and sha256 checksums are rewritten from the published release
assets by scripts/submit-packages.mjs.

@ralyodio

Copy link
Copy Markdown
Contributor

Superseded: main already carries the v3.19.4 manifests (#161).

@ralyodio ralyodio closed this Oct 20, 2026
@ralyodio
ralyodio deleted the chore/distribution-3.19.0 branch October 20, 2026 07:12
ralyodio added a commit that referenced this pull request Oct 20, 2026
Releases v3.19.0-v3.19.4 shipped inside an hour, leaving refresh PRs for
3.19.0/.1/.3 open after 3.19.4 merged; every one conflicted on all
manifests and the PR sweeper could only skip them (#152, #154, #159).

open-distribution-pr.sh now skips opening a PR when main already carries
an equal or newer version, and closes open refresh PRs for lower versions
after opening its own.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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