Use https version of git repos - this less problematic behind the proxy #168

Closed dbabokin closed 1 year ago