Gusted f0ce5470e5 Always try to fetch repo for mirrors (#19975 An error occurred ) ... - Always give a best-effort to fetching the repositories, if even that fails indeed give a disconnected mirror found error. - *Partially* resolves #19928 An error occurred Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>		3 years ago
..
mirror.go	Always try to fetch repo for mirrors (#19975 An error occurred )	3 years ago
mirror_pull.go	Fix some mirror bugs (#18649 An error occurred )	3 years ago
mirror_push.go	Fix some mirror bugs (#18649 An error occurred )	3 years ago