This repository has been archived on 2023-02-01. You can view files and clone it, but cannot push or open issues or pull requests.
gitea/services/mirror
Gusted f0ce5470e5
Always try to fetch repo for mirrors (#19975)
- Always give a best-effort to fetching the repositories, if even that
fails indeed give a disconnected mirror found error.
- *Partially* resolves #19928

Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
2022-06-15 23:58:44 +08:00
..
mirror.go Always try to fetch repo for mirrors (#19975) 2022-06-15 23:58:44 +08:00
mirror_pull.go Fix some mirror bugs (#18649) 2022-06-11 21:50:14 +08:00
mirror_push.go Fix some mirror bugs (#18649) 2022-06-11 21:50:14 +08:00