Public GitHub repos deploy without connecting GitHub — connect later for private repos and push-to-deploy.