repo: 修改 REPO_URL

 

解決repo init失敗的問題

 

 

if not REPO_URL:
  REPO_URL = 'https://gerrit.googlesource.com/git-repo'
REPO_REV = 'stable'

改爲:

if not REPO_URL:
  REPO_URL = 'https://mirrors.tuna.tsinghua.edu.cn/git/git-repo/'
REPO_REV = 'stable'