github: Ask Copilot coding agent to make changes in any pull request with @copilot

GitHub’s Copilot coding agent can now edit existing pull requests created by humans when you mention @copilot in a comment, in addition to its ability to open new pull requests from scratch.

• Source: GitHub