mirror of
https://github.com/RayLabsHQ/gitea-mirror.git
synced 2026-05-21 15:11:22 -05:00
[PR #223] [MERGED] Improve startup repository repair visibility and resilience #1594
Reference in New Issue
Block a user
Delete Branch "%!s()"
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?
📋 Pull Request Information
Original PR: https://github.com/RayLabsHQ/gitea-mirror/pull/223
Author: @arunavo4
Created: 3/14/2026
Status: ✅ Merged
Merged: 3/14/2026
Merged by: @arunavo4
Base:
main← Head:codex/issue-219-startup-repair-progress📝 Commits (1)
09051f7scripts: add startup repair progress logs📊 Changes
1 file changed (+153 additions, -37 deletions)
View changed files
📝
scripts/repair-mirrored-repos.ts(+153 -37)📄 Description
Summary
GITEA_REPAIR_REQUEST_TIMEOUT_MS, default15000)GITEA_REPAIR_PROGRESS_INTERVAL, default100)configIdto reduce repeated DB queriesTesting
bun run buildCloses #219
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.