Skip to content

ci: newest version is GitHub-Latest (drop rolling 'latest')#22

Merged
julian-goldstein merged 1 commit into
masterfrom
latest-is-newest-version
Jun 19, 2026
Merged

ci: newest version is GitHub-Latest (drop rolling 'latest')#22
julian-goldstein merged 1 commit into
masterfrom
latest-is-newest-version

Conversation

@julian-goldstein

Copy link
Copy Markdown
Contributor

Implements option B: one source of truth for 'latest'.

  • Drops the rolling latest release (delete/recreate each push) — it duplicated GitHub's built-in Latest and tug-of-warred the badge, so the newest version was never Latest.
  • Each mainline release is now published --latest; release/* back-ports use --latest=false so they can't steal Latest from a newer mainline version.
  • .../releases/latest/download/<asset> now resolves to the newest version (e.g. v0.1.0).

Paired with a one-time cleanup (deleting the existing latest release/tag, which hands the badge to v0.1.0).

…release

The manually-maintained rolling 'latest' release duplicated GitHub's built-in
Latest and fought it for the badge (so the newest version was never Latest).
Drop the delete/recreate step and mark each mainline release --latest instead;
.../releases/latest/download/<asset> now resolves to the newest version.
release/* back-ports publish --latest=false so they can't steal Latest from a
newer mainline release.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@julian-goldstein julian-goldstein merged commit d295635 into master Jun 19, 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