解决方法: 运行repo前
export http_proxy="your.proxy.ip:port" export https__proxy="your.proxy.ip:port"
非常的简单。
网上一些给git添加代理,在我这不起作用。
后来看了repo的脚本,是识别http_proxy的,设置后还是不行。后来发现android源码的url是https的。于是添加export就成功了~