GitHub Copilot itself is up but it is having problems with "Grok Copilot Model Provider". No mention of OpenAI or Claude.

Does this mean that GitHub has its own infrastructure for OpenAI and Claude? And that it distills prompts to Grok?

Maybe the Copilot infra for OpenAI and Claude is via Azure?