Use https link so Git works through a proxy server.