new theory: the repository was deleted and recreated 4 hours before i visited it (is that number 4 equal to my timezone offset?)
Me [to ChatGPT]: $ for p in 1 2 3; do curl -sS \ "https://api.github.com/users/MareSerenitatis12/events/public?per_page=100&page=$p" done | jq -s ' add[] | select(.repo.name == "MareSerenitatis12/TardiSHA_GrimChain") | { event_id: .id, time: .created_at, type: .type, repo_id: .repo.id, payload: .payload }' { "event_id": "17317686345", "time": "2026-08-10T17:04:09Z", "type": "CreateEvent", "repo_id": 1330048776, "payload": { "ref": "main", "ref_type": "branch", "full_ref": "refs/heads/main", "master_branch": "main", "description": "The Interdimensional Fully Verifial Cryptographic Self Folding Chain", "pusher_type": "user" } } ChatGPT: That result is useful: it shows the new repository’s main branch was created at 17:04:09Z, but it does not show a repository-level CreateEvent. I’m checking whether GitHub actually emits/retains repository-creation events in that feed, and then I’ll look for the July object in archived public events.