feat(codeberg): a deliberate, checked teardown of the Codeberg push mirrors #774

Merged
binjovi-bot merged 1 commit from feat/retire-codeberg-mirrors into trunk 2026-09-14 21:49:39 +00:00
Owner

What

make retire-codeberg-mirrors (scripts/retire-codeberg-mirrors.sh): a dry run lists every Codeberg push mirror on the cluster Forgejo and proves the chain carries each repository (hop 1 present without error, repository present on code.kri.pt); YES=1 deletes. Binjovi never deletes a mirror, so this is the deliberate act. Codeberg repositories are untouched.

First live dry run: 41 repositories ready, 2 blocked (illumos-omnios: code.packet.town fsck-rejects a malformed author email in imported history; sourcerer: a ref race). Both fixed before the teardown runs.

Runs in the mirror deploy shape (binjovi-plans #326 active) — the first seanfarm deploy through --mirror-url.

https://claude.ai/code/session_01XdBRc9CHgFhAxCyHbdVtt6

## What `make retire-codeberg-mirrors` (`scripts/retire-codeberg-mirrors.sh`): a dry run lists every Codeberg push mirror on the cluster Forgejo and proves the chain carries each repository (hop 1 present without error, repository present on `code.kri.pt`); `YES=1` deletes. Binjovi never deletes a mirror, so this is the deliberate act. Codeberg repositories are untouched. First live dry run: 41 repositories ready, 2 blocked (`illumos-omnios`: `code.packet.town` fsck-rejects a malformed author email in imported history; `sourcerer`: a ref race). Both fixed before the teardown runs. Runs in the mirror deploy shape (binjovi-plans #326 active) — the first seanfarm deploy through `--mirror-url`. https://claude.ai/code/session_01XdBRc9CHgFhAxCyHbdVtt6
feat(codeberg): a deliberate, checked teardown of the Codeberg push mirrors
All checks were successful
binjovi/ci Binjovi completed the frozen plan
9c40a17651
Binjovi declares and creates push mirrors and, by design, never deletes one.
Retiring the 43 Codeberg push mirrors on the cluster Forgejo is therefore a
human act, and this script is it: a dry run by default that lists every
mirror it would delete, and refuses to delete anything unless the chain
already carries each repository -- a push mirror to code.packet.town that
reports no error, and the repository present on code.kri.pt. YES=1 deletes.
The Codeberg repositories themselves are untouched; only the cluster's
mirror configuration goes.

The first dry run against the live cluster found 41 repositories ready and
two blocked: illumos-omnios, whose hop-1 push code.packet.town rejects for a
malformed author email in its imported history (a receive-side fsck the
copies must not apply to a faithful backup), and sourcerer, whose hop-1 push
hit a ref race. Both are fixed before the teardown runs.

Claude-Session: https://claude.ai/code/session_01XdBRc9CHgFhAxCyHbdVtt6
binjovi-bot deleted branch feat/retire-codeberg-mirrors 2026-09-14 21:49:39 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
sean/seanfarm!774
No description provided.