Why does the registry have both of these? They both have the name `GitHub Copilot` and I don't see any obvious reason to use one over the other.
Why does the registry have both of these? They both have the name
GitHub Copilotand I don't see any obvious reason to use one over the other.