任何地方都可以下载Repo脚本

Question

http://source.android.com/source/downloading.html指导用户从kernel.org下载repo脚本，但'android.git.kernel.org目前处于关闭状态。还有其他镜子吗？

代码：

$ curl https://android.git.kernel.org/repo > ~/bin/repo 

错误：

curl: (6) Couldn't resolve host 'android.git.kernel.org'

Answer 1

虽然kernel.org中断时，可以在http://github.com/android找到完整的Android源和回购脚本可以在https://github.com/android/tools_repo