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 ow

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?