Skip to content

"Go to Next Diff in Pull Request" command error#6563

Merged
alexr00 merged 2 commits intomainfrom
alexr00/issue6237
Dec 18, 2024
Merged

"Go to Next Diff in Pull Request" command error#6563
alexr00 merged 2 commits intomainfrom
alexr00/issue6237

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Dec 18, 2024

Fixes #6237

@alexr00 alexr00 self-assigned this Dec 18, 2024
@alexr00 alexr00 enabled auto-merge (squash) December 18, 2024 10:29
@vs-code-engineering vs-code-engineering bot added this to the January 2025 milestone Dec 18, 2024
@alexr00 alexr00 merged commit 9f6b715 into main Dec 18, 2024
@alexr00 alexr00 deleted the alexr00/issue6237 branch December 18, 2024 10:32
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.

"Go to Next Diff in Pull Request" command fails with error

2 participants