Skip to content

chore: publish 2025-1-err2 - #275

Open
ssteinbuss wants to merge 2 commits into
mainfrom
release/2025-1-err2
Open

chore: publish 2025-1-err2#275
ssteinbuss wants to merge 2 commits into
mainfrom
release/2025-1-err2

Conversation

@ssteinbuss

Copy link
Copy Markdown
Contributor

What this PR changes/adds

  • index.html: specStatus"base", adds publishDate, latestVersion
    updated to point at 2025-1-err2, title/<h1> reverted from
    2025-1-RC5 back to plain 2025-1 (commit chore: publish 2025-1-err2)
  • index.html: reverts specStatus back to "unofficial", removes
    publishDate (commit chore: make HEAD unofficial)
  • .github/scripts/index.html: redirect, canonical link, and visible link
    text updated from 2025-1-RC5 to 2025-1-err2

Why it does that

Publishes errata release 2025-1-err2 (EF release 1.0.2), following approval
through the Eclipse Foundation Release Review and Specification Committee
Ballot for 2025-1-RC5.

⚠️ Merge method

Merge with "Rebase and merge", not "Squash and merge." Squashing drops
the intermediate specStatus: "base" commit that the 2025-1-err2 tag
needs to point at. This has already happened twice for this project
(2025-1-RC4 / PR #206, 2025-1-RC5 / PR #270).

Linked Issue(s)

Closes #274

ssteinbuss and others added 2 commits September 9, 2026 09:52
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@ssteinbuss ssteinbuss linked an issue Sep 9, 2026 that may be closed by this pull request
6 tasks
@ssteinbuss ssteinbuss self-assigned this Sep 9, 2026
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.

Publish 2025-1-err2

2 participants