Flight Log / microsoft/vscode #254413

Fix missing workspace.onDidChangeTextDocument events for notebook cell EOL changes — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/vscode on Jul 7, 2025; a burn — closed unmerged after human review: +92 −29, 2 files, 0 reviews.

All agent flights in microsoft/vscode · GitHub Copilot flights

BurnGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+92 −29
Files
2
Commits
4
Reviews
0
To merge
—
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

GitHub Copilot attempts a fix in the microsoft/vscode repository so notebook cell EOL changes fire workspace.onDidChangeTextDocument events. The change spans two files and four commits, adding 92 lines and removing 29. No reviews are recorded. It is a burn: closed unmerged after human review, with no change requests.

“This doesn't seem to fix the issue. Can you scaffold a test extension on windows and see if you can reproduce, come up with a”

— from the review (source)

From the pull request description

## Problem Notebook cell documents were not firing `workspace.onDidChangeTextDocument` events when their End-of-Line (EOL) format changed. This caused extensions listening to document changes to miss important EOL changes in notebook cells. **Scenario:** 1. A notebook cell starts with LF EOL (`\n`…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —committedcopilot-swe-agent[bot]
  4. —committedcopilot-swe-agent[bot]
  5. Jul 8, 2025closedulugbekna

Cite this flight: AgentRiders Flight Log, microsoft/vscode#254413, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/vscode/254413/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.