Diffing OUTDATED comments with HEAD doesn't work in github.dev #6500
Description
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:
- Open Github.dev for a pull request in an org
- Login
- Open the comments view
- Try and diff an outdated comment with HEAD
Shows this:
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.