Use HTTPS instead of SSH for the cloning