Use https rather than git address

As usual, causes problems with the proxy.