android repo, mirror from https://gerrit.googlesource.com/git-repo