Does GitHub Copilot use GPT-4 or another LLM?

If you’ve been using GitHub Copilot for any serious amount of time, you’ve probably felt...