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

4.7 KiB

Raw Blame History

View Raw