Should use https instead of git (otherwise an ssh key will be needed)?