Feature Request: Add option to display PR numbers in tree view titles #7019
Description
Feature Request
Add a setting to optionally display pull request numbers at the beginning of PR titles in the extension's tree view.
Current Behavior
The PR tree view (sections like "Waiting For My Review", "Assigned To Me", "Created By Me", etc.) currently displays PR titles as:
PR title (username)
Desired Behavior
Add a setting that would allow users to see:
#1234 - PR title (username)
Use Case
When working with multiple PRs, having the PR number immediately visible in the tree view would help with:
- Quick identification of specific PRs when discussing them with team members
- Easier correlation between PR numbers mentioned in chat/comments and the visual list
- Faster navigation when looking for a specific PR by number
- Better context when PRs have similar titles
Proposed Implementation
Add a setting like:
"githubPullRequests.showPrNumberInTreeView": true