Use HTTPS instead of SSH for git cloning