Use https instead of ssh to avoid auth issues