chore(ci): re-pin core to website main at #212's merge #39
Reference in New Issue
Block a user
No description provided.
Delete Branch "chore/repin-core-212"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
What & why
While website#212 (MODULE_API 1.13.0) was open,
ci/core-ref.jsonwas pinned to its branch head,e58857c. #212 has merged asca7ec53, so this moves the pin tomainat that sha.The two commits have the same tree (
git diff e58857c ca7ec53is empty). Only the pin and its note change, androutes.manifest.jsonstays as it is.How it was tested
git diff --stat e58857c ca7ec53bprinted nothing.ci/core-ref.jsonstill parses as JSON.Checklist
AI-assisted contributions (required)
Claude Code (Claude Opus 5.5). I have reviewed and understandevery change, and take responsibility for it. AI-authored commits are
marked with a
Co-Authored-By/Assisted-Bytrailer.License
(GNU GPL v3.0 or later), and I have the right to contribute it.
🤖 Generated with Claude Code
https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY