Promote 9c40a17651 to main #775

Merged
binjovi-bot merged 1 commit from trunk into main 2026-09-14 21:49:43 +00:00
Collaborator
No description provided.
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
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!775
No description provided.