[Sorry for the dumb question. This has got to be a FAQ the past few days, but I can't find anything other than people complaining that the repo is down and to check the news...]
I have been unable to use repo to access http://android.git.kernel.org for a while now; obviously this is due to the attack on kernel.org. Unfortunately, I need to pull down versions of the source tree I do not already have.
I know that at least some of the packages are mirrored on http://github.com/android, but the manifest file needs to edited (to, e.g., replace / with _) and it doesn't appear to have all of them anyway. Surely there's a better way?
Google finally has an own mirror online that seems to work:
https://android.googlesource.com
https://source.android.com/source/downloading.html
This is Chih-Wei Huang's personal mirror.
来源：https://stackoverflow.com/questions/7311858/is-there-a-working-public-mirror-of-android-git-kernel-org