Documents about how to use repos on mirrors.ustc.edu.cn