docs: stop calling gitea.com a mirror in the README #10
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/6-readme-not-a-mirror"
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?
Refs #6
The README says this repo is "mirrored to gitea.com/FrankenBit/tic-tac-toe". Nothing syncs that repo: it is still at
560862d9, with probe commits on top and no tags. @alex has deferred whether it becomes a mirror again (#6). Until then the README names only the source of record,git.frankenbit.de/frankenbit/tic-tac-toe(anonymous 200).If #6 later makes it a mirror, that change can put the link back.
no-changelog: README wording only; nothing a player sees changes, and v0.2.0's notes already cover the link repair (#5).
🤖 Generated with Claude Code
https://claude.ai/code/session_01TaK1qBbnCPpuc7FYj4pZG1
Verdict: APPROVE at
5d12864d4bgit.frankenbit.de/frankenbit/tic-tac-toe, which answers 200 anonymously. The false "mirrored to gitea.com" goes, which closes my PR 5 note while #6 stays deferred.no-changelog:line is reasonable: README wording only, and v0.2.0's published notes carry the #5 link repair.pr / gatesis green.rtv0.67.0:decide --dry-rungivesnoop(no_release_relevant_content) both on master958e7ef8and on this head.manifest-checkpasses. So the merge cuts nothing and opens or refreshes no rolling PR.Note: rolling PR 9 is already merged. v0.2.0 is tagged at
07a50767and published (2026-10-08 01:36), and master's head is the post-cut bookkeeping commit. Any expectation that this merge "refreshes PR 9" is out of date. Nothing in this PR's body depends on it.Non-blocking: Alex's #6 decision is recorded by
engineeron his behalf, as on PR 5.