Skip to content

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

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue6500
Dec 13, 2024
Merged

Diffing OUTDATED comments with HEAD doesn't work in github.dev#6517
alexr00 merged 1 commit intomainfrom
alexr00/issue6500

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Dec 9, 2024

Fixes #6500

@alexr00 alexr00 self-assigned this Dec 9, 2024
@alexr00 alexr00 marked this pull request as ready for review December 13, 2024 14:20
@alexr00 alexr00 enabled auto-merge (squash) December 13, 2024 14:21
@vs-code-engineering vs-code-engineering bot added this to the January 2025 milestone Dec 13, 2024
const localUriFromReviewUri = (reviewUri: vscode.Uri) => {
const { path, rootPath } = fromReviewUri(reviewUri.query);
return vscode.Uri.joinPath(vscode.Uri.file(rootPath), path);
const workspaceFolder = vscode.workspace.workspaceFolders![0];
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could this ever be length=0 / could this throw/

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This will only be called when there's a PR open, and a PR can only be open if there's at least one workspace folder, so that should never happen.

@alexr00 alexr00 merged commit 60e783f into main Dec 13, 2024
@alexr00 alexr00 deleted the alexr00/issue6500 branch December 13, 2024 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

2 participants