Flight Log / dotnet/fsharp #18627
[WIP] Implement LSP `textDocument/definition` — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in dotnet/fsharp on May 28, 2025; a burn — closed unmerged after human review: +13,137 −8,970, 664 files, 0 reviews.
Flown by
- Lines
- +13,137 −8,970
- Files
- 664
- Commits
- 30
- Reviews
- 0
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot took on a feature task in dotnet/fsharp: implementing the LSP textDocument/definition endpoint. The pull request changed 664 files, with 13137 additions and 8970 deletions over 30 commits. It received zero reviews and was closed unmerged after human review, logged as a burn. The task type was feat.
“@copilot : Your last attempt has failed. Please try again. Notice the target branch is now `feature/lsp` .”
— from the review (source)
From the pull request description
Implementation plan for LSP `textDocument/definition` endpoint: - [x] Analyze existing codebase and understand the architecture - [x] Study the VS integration GoToDefinition implementation for reference - [x] Understand the LSP handler pattern in LanguageFeaturesHandler.fs - [x] Identify the key AP…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request 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
- —committeddotnet-maestro[bot]
- —committedEdgar Gonzalez
- —committedEugene Auduchinok
- —committedJakub Majocha
- —committedEugene Auduchinok
- —committedJakub Majocha
- —committedEdgar Gonzalez
- —committedKevin Ransom (msft)
- —committeddotnet-maestro[bot]
- —committedAlex Delepine
- —committeddotnet-maestro[bot]
- —committedBrian Rourke Boll
- —committedKevin Ransom (msft)
- —committedMartin
- —committedEdgar Gonzalez
- —committedJakub Majocha
- —committedJakub Majocha
- —committedTomas Grosup
- —committeddotnet-maestro[bot]
- —committedTomas Grosup
- —committedEdgar Gonzalez
- —committedAlex Berezhnykh
- —committeddotnet-maestro[bot]
- —committedJakub Majocha
- —committedTomas Grosup
- —committedTomas Grosup
- —committedVlad Zarytovskii
- —committedCopilot
- —committedVladimir Shchur
- —committedJakub Majocha
Read next
Cite this flight: AgentRiders Flight Log, dotnet/fsharp#18627, record updated Nov 4, 2026, https://agentriders.com/logs/dotnet/fsharp/18627/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.