Use https:// instead of git:// to make it work with http proxies