microsoft / microsoft/vscode-pull-request-github

Can't tell if user has been tagged in comment

Open
#7,377 3 comments 0 reactions 1 assignee View on GitHub

@alexr00 is already working on this.

Since Jul 22, 2025.

feature-request
Dominant language
TypeScript
Stars
2.6k
Forks
795
Avg merge
1d 4h
Merged PRs (30d)
46

Description

Using latest VS Code Insiders, GHPRI pre-release, and Copilot Chat pre-release on Windows 11.

I'd love some sort of additional highlighting, underline, or ability to click a tagged user. Right now, it's a bit hard to tell if I properly tagged the user - this is what results after I selected @Copilot from the comment suggestion:

Image Image

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.