Feature Request: Add option to display PR numbers in tree view titles

[smorin]

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