diff options
| author | Your Name <you@example.com> | 2026-05-26 20:38:49 +0530 |
|---|---|---|
| committer | Your Name <you@example.com> | 2026-05-26 20:38:49 +0530 |
| commit | 7b1b36b8c7e448d1d170c8c6e1f88bb766163fbb (patch) | |
| tree | 51fa521b7856423ce586077e5e3b045af3694220 /src/http_health.rs | |
| parent | e435f7d7b4ad4e4b1d3c21c35df5f41ffd642376 (diff) | |
Fix push_target remote reuse and non-fatal per-repo errors
- git_mirror: reuse existing push_target remote via remote_set_url
instead of failing on 'remote already exists' on subsequent cycles
- mirror_cycle: catch per-repo errors instead of propagating with ?
so one failed clone doesn't abort the remaining 87 repos
- Add PLAN.md with bug tracking checklist
Diffstat (limited to 'src/http_health.rs')
0 files changed, 0 insertions, 0 deletions