github: Pick a model for @copilot in pull request comments

GitHub Copilot’s coding agent can be invoked in pull request comments via @copilot, and the feature adds the ability to choose which model @copilot uses for that request.

• Source: GitHub