-
Notifications
You must be signed in to change notification settings - Fork 693
Show PR review status #4187
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Show PR review status #4187
Conversation
Fixes #681
* Show PR review status Fixes microsoft#681 * Always get review required check and add unknown * Fix tests * Also add decoration for changes requested * Use codicons * Udpate decoration API * Try to address some feedback
| const labelPrefix = currentBranchIsForThisPR ? '✓ ' : ''; | ||
| const tooltipPrefix = currentBranchIsForThisPR ? 'Current Branch * ' : ''; | ||
| const formattedPRNumber = number.toString(); | ||
| const label = `${labelPrefix}#${formattedPRNumber}: ${isDraft ? '[DRAFT] ' : ''}${title}`; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @alexr00,
I noticed that the PR numbers are no longer displayed in the tree view.
I skimmed the discussion in #681 and I didn't find the change addressed explicitly.
So I was wondering if they were removed for a reason or it's just something that slipped through among the other experiments and changes.
Best!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@dippi I removed them because they added a lot of visual noise to the PRs tree view and I didn't think they were very useful. They also took space away from the title of the PR, which is more important than the number.
Fixes #681