Refs: #7379

• macOS @osortega
• linux @connor4312
• windows @luabud

Complexity: 3

Authors: @mrleemurray, @alexr00

Create Issue

Setup

• Install the latest pre-release of GitHub Pull Requests
• Open a folder which contains a clone of a GitHub repo with PRs by Copilot, or where you can ask Copilot to make PRs for testing

Testing

• Open a PR description (does not have to be from Copilot) from the Pull Requests view. Verify...
  • that you can change the title
  • that you can refresh the PR
  • that you can open the changes from the PR
  • that you can check out the PR
• Open a PR description of a PR from Copilot, and make Copilot work on it some more. Verify...
  • that while Copilot is working on the PR that you can cancel Copilot's work.

Please let us know if you have any other feedback on the PR header update!