{
 "flight": {
  "id": 11707,
  "agent": "github-copilot",
  "state": "closed",
  "title": "[WIP] Implement LSP `textDocument/definition`",
  "number": 18627,
  "source": "aidev",
  "commits": 30,
  "debrief": "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.",
  "outcome": "burn",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": true,
  "additions": 13137,
  "closed_at": "2025-05-29T07:58:11+00:00",
  "deletions": 8970,
  "merged_at": null,
  "opened_at": "2025-05-28T21:20:44+00:00",
  "task_type": "feat",
  "body_chars": 2236,
  "confidence": "dataset",
  "updated_at": "2026-11-04T02:41:36.170763+00:00",
  "enriched_at": null,
  "body_excerpt": "Implementation plan for LSP `textDocument/definition` endpoint:\n\n- [x] Analyze existing codebase and understand the architecture\n- [x] Study the VS integration GoToDefinition implementation for reference\n- [x] Understand the LSP handler pattern in LanguageFeaturesHandler.fs\n- [x] Identify the key AP",
  "review_count": 0,
  "files_changed": 664,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-04T02:41:36.170763+00:00",
  "reviewer_excerpt": "@copilot : Your last attempt has failed. Please try again. Notice the target branch is now `feature/lsp` .",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/dotnet/fsharp/pull/18627#issuecomment-2917767051"
 },
 "repo": {
  "name": "fsharp",
  "owner": "dotnet",
  "stars": 4348,
  "license": "MIT",
  "full_name": "dotnet/fsharp",
  "primary_language": "F#"
 },
 "author": {
  "login": "Copilot",
  "name": null,
  "github_profile": "https://github.com/Copilot",
  "page": null
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "dotnet-maestro[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Edgar Gonzalez"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Eugene Auduchinok"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Eugene Auduchinok"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Edgar Gonzalez"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Kevin Ransom (msft)"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "dotnet-maestro[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Alex Delepine"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "dotnet-maestro[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Brian Rourke Boll"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Kevin Ransom (msft)"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Martin"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Edgar Gonzalez"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Tomas Grosup"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "dotnet-maestro[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Tomas Grosup"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Edgar Gonzalez"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Alex Berezhnykh"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "dotnet-maestro[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Tomas Grosup"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Tomas Grosup"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Vlad Zarytovskii"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Copilot"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Vladimir Shchur"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Jakub Majocha"
  }
 ],
 "related": [
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix SignatureHash to include constant values in hash computation",
   "number": 18771,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 792,
   "deletions": 271,
   "merged_at": "2025-07-29T11:18:16+00:00",
   "opened_at": "2025-07-21T15:05:27+00:00",
   "task_type": "fix",
   "files_changed": 71,
   "hours_to_merge": 188.21
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix IEquatable<T> nullness contravariance to match C# behavior",
   "number": 18770,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 330,
   "deletions": 178,
   "merged_at": "2025-07-25T10:24:04+00:00",
   "opened_at": "2025-07-21T14:43:52+00:00",
   "task_type": "fix",
   "files_changed": 53,
   "hours_to_merge": 91.67
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Validate exception names for illegal characters using same mechanism as types/modules",
   "number": 18768,
   "outcome": "merged_after_rework",
   "index_ok": true,
   "additions": 318,
   "deletions": 165,
   "merged_at": "2025-07-29T10:26:12+00:00",
   "opened_at": "2025-07-21T13:27:01+00:00",
   "task_type": "fix",
   "files_changed": 20,
   "hours_to_merge": 188.99
  }
 ],
 "pr_url": "https://github.com/dotnet/fsharp/pull/18627",
 "page": "https://agentriders.com/logs/dotnet/fsharp/18627/"
}