Skip to content

Fix file-scoped comments failing with "Error: File has been deleted"#8664

Draft
Copilot wants to merge 3 commits intomainfrom
copilot/fix-file-scoped-comment-error
Draft

Fix file-scoped comments failing with "Error: File has been deleted"#8664
Copilot wants to merge 3 commits intomainfrom
copilot/fix-file-scoped-comment-error

Commits

Commits on Apr 14, 2026