If you're in a private network, you need to setup a proxy
to access the public network. It would be a difficult thing
to set-up proxy for git:// protocol, while much more easy to
use https:// protocol instead.
Change-Id: Iec8447cc28760a98e1641162c50c152c89100775