Skip to content

Comment locations error messages after deleting PR branch #5281

New issue
New issue
Closed
#5313
Closed
Comment locations error messages after deleting PR branch#5281
#5313
Assignees
alexr00
Labels
bugIssue identified by VS Code Team member as probable bugverifiedVerification succeeded
Milestone
October 2023
@joyceerhl

Description

@joyceerhl
joyceerhl
opened on Sep 25, 2023
  1. Create a PR
  2. Open in VS Code desktop
  3. Merge PR and delete branch
  4. 🐛 GHPRI shows notifications about being unable to get comment locations

Image

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable bugverifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions