github: Ask @copilot to make changes to any pull request

GitHub now lets you mention @copilot in any pull request to request changes directly in the PR. One announced use case is fixing failing GitHub Actions workflows and tests.

• Source: GitHub