Diffing OUTDATED comments with HEAD doesn't work in github.dev#6517
Merged
alexr00 merged 1 commit intomainfrom alexr00/issue6500Dec 13, 2024
+2-1
OUTDATED comments with HEAD doesn't work in github.dev#6517