Show owner/repo:branch in PR header instead of owner:branch

[Copilot]

In multi-repo workspaces, the PR header displays theking2:main from theking2:reduce-logging, making it unclear which repository the PR targets.

Changes

• GraphQL queries: Added name field to headRepository and baseRepository fragments
• Label format: Changed from owner:branch to owner/repo:branch in parseRef() and convertRESTHeadToIGitHubRef()
• Bug fix: Corrected repo.name assignment (was incorrectly using refName instead of repository.name)

Impact

Before:

theking2 wants to merge changes into theking2:main from theking2:reduce-logging

After:

theking2 wants to merge changes into theking2/repo-name:main from theking2/repo-name:reduce-logging

Also affects merge commit messages: Merge pull request #123 from owner/repo:branch

Original prompt

---

This section details on the original issue you should resolve

<issue_title>make clear in which repo a pull request is stored</issue_title> <issue_description>

This pull request was made in workspace with mutliple projects all being repos. The screen is not clear where the pull request was created or which changes were made.

Solution: more verbosety of the repo that is actually affected by the PR. </issue_description>

<agent_instructions>In the PR header, we show the remote name before the branch name.. Instead we should show the fulll owner/repoName before the branch name. </agent_instructions>

Comments on the Issue (you are @copilot in this section)

• Fixes microsoft/vscode-pull-request-github#6674

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.