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