use https instead of git for proxy reason