无法访问android.git.kernel.org的情况下如何使用repo

Kernel.org维护，android.git.kernel.org索性连域名也不解析了。
可是我正好要用repo下载别的git服务器的代码，就试着启动了下。悲剧地发现repo拼命试着连接android.git.kernel.org，然后失败，然后傻眼了。
拜托，repo你到底要干什么？
原来repo要下载全套的repo工具集到.repo/repo目录下，再用这套工具集去下载git服务器上的源码库。
幸好我打包了以往下载android2.3.4的所有文件，赫然发现了以往下载的目录.repo/repo。于是折腾了一会修改repo的python脚本，将以往备份的.repo/repo恢复到我要下载的目录下，搞定。
repo工具集打包文件51cto无法上传，有需要的直接微博给我留言：weibo.com/carltao
下面是对~/bin/repo 修改的地方
carl@carl-ubuntu10-T400:~/bin$ diff repo.bak repo
5,6d4
< REPO_URL='git://android.git.kernel.org/tools/repo.git'
< REPO_REV='stable'
151,166d148
<   url = opt.repo_url
<   if not url:
<     url = REPO_URL
<     extra_args.append('--repo-url=%s' % url)
< 
<   branch = opt.repo_branch
<   if not branch:
<     branch = REPO_REV
<     extra_args.append('--repo-branch=%s' % branch)
< 
<   if branch.startswith('refs/heads/'):
<     branch = branch[len('refs/heads/'):]
<   if branch.startswith('refs/'):
<     print >>sys.stderr, "fatal: invalid branch name '%s'" % branch
<     raise CloneFailure()
< 
180,204d161
<   try:
<     if _NeedSetupGnuPG():
<       can_verify = _SetupGnuPG(opt.quiet)
<     else:
<       can_verify = True
< 
<     if not opt.quiet:
<       print >>sys.stderr, 'Getting repo ...'
<       print >>sys.stderr, '   from %s' % url
< 
<     dst = os.path.abspath(os.path.join(repodir, S_repo))
<     _Clone(url, dst, opt.quiet)
< 
<     if can_verify and not opt.no_repo_verify:
<       rev = _Verify(dst, branch, opt.quiet)
<     else:
<       rev = 'refs/remotes/origin/%s^0' % branch
< 
<     _Checkout(dst, branch, rev, opt.quiet)
<   except CloneFailure:
<     if opt.quiet:
<       print >>sys.stderr, \
<         'fatal: repo init failed; run without --quiet to see why'