Use https on git clone.