Skip to content
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

Diffing OUTDATED comments with HEAD doesn't work in github.dev #6500

Closed
tamuseanmiller opened this issue Nov 26, 2024 · 0 comments · Fixed by #6517
Closed

Diffing OUTDATED comments with HEAD doesn't work in github.dev #6500

tamuseanmiller opened this issue Nov 26, 2024 · 0 comments · Fixed by #6517
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug
Milestone

Comments

@tamuseanmiller
Copy link

Looks like this is specific to GitHub.dev

  • Extension version: v0.100.3
  • VSCode Version: 1.95.3
  • OS: N/A (Web version github.dev)
  • Repository Clone Configuration (single repository/fork of an upstream repository): single repo
  • Github Product (Github.com/Github Enterprise version x.x.x): Github.com org

Steps to Reproduce:

  1. Open Github.dev for a pull request in an org
  2. Login
  3. Open the comments view
  4. Try and diff an outdated comment with HEAD

Shows this:
Image

Doubt this is an error here, I don't see any logs that are pertinent to this but just wanted some feedback as we would love to use this mechanism in github.dev.

@alexr00 alexr00 self-assigned this Dec 2, 2024
@alexr00 alexr00 added the bug Issue identified by VS Code Team member as probable bug label Dec 2, 2024
@alexr00 alexr00 added this to the January 2025 milestone Dec 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue identified by VS Code Team member as probable bug
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants