Use https:// because firewall will not allow git://