mirror of
https://github.com/tiennm99/composes.git
synced 2026-10-05 06:13:43 +00:00
tiennm99
0134b64cde
Adds a skill to audit the local Gitea mirror stack for repos whose pull failed, then clean up only what is safe to delete. Detection combines four signals, since none is sufficient alone: the Gitea API (empty repos with no completed initial pull), an upstream reachability probe, the mirror app database, and the gitea container log. The container log reflects a retention window rather than history, so it is never the sole basis for deletion. Deletion is gated on a contradiction between Gitea and the mirror app: a repo that is empty while the app records the pull as finished. Repos the app is still cloning or has queued look identical by API fields alone (empty, zero size, no mirror timestamp), so they are excluded to avoid destroying work in progress. Repos that still hold content are reported for retry and never deleted, so a transient fetch error cannot cost a mirror. Deleting a broken repo also resets its mirror-app row to pending; without that the app never re-pulls it and the mirror is lost instead of restored. Cleanup is dry-run by default and warns on a stale plan.