3 people 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_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

mirror.go

Always try to fetch repo for mirrors (#19975)

2022-06-15 23:58:44 +08:00