Using the git protocol makes it hard to fetch the repo if internet access is only possible via a proxy. An easy fix is using the https protocol. That way the http_proxy vars on the host are automatically obeyed and the clone via proxy works. Change-Id: I18d75b5a16c809ac2d7834e91d32617017aea7f8changes/13/468413/1
parent
932575741e
commit
9f6c72ca9b
Loading…
Reference in new issue