{
 "flight": {
  "id": 34190,
  "agent": "github-copilot",
  "state": "closed",
  "title": "[WIP] Implement LSP `textDocument/definition`",
  "number": 18631,
  "source": "aidev",
  "commits": 30,
  "debrief": "The task was to implement the LSP textDocument/definition request in dotnet/fsharp. Its checklist recorded repository exploration and identification of LanguageFeaturesHandler.fs as the place for new endpoints. The change spans 664 files, 30 commits, 13137 additions and 8970 deletions. The reviewer noted that the last attempt failed to push any commits. Closed unmerged, a burn.",
  "outcome": "burn",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": true,
  "additions": 13137,
  "closed_at": "2025-05-29T10:14:27+00:00",
  "deletions": 8970,
  "merged_at": null,
  "opened_at": "2025-05-29T08:47:54+00:00",
  "task_type": "feat",
  "body_chars": 2464,
  "confidence": "dataset",
  "updated_at": "2026-11-04T02:40:50.743362+00:00",
  "enriched_at": null,
  "body_excerpt": "- [x] Explored repository structure and located LSP server implementation\n- [x] Identified existing LanguageFeaturesHandler.fs as the location for new endpoints  \n- [x] Found FSharpRequestContext and workspace query APIs for accessing compiler services\n- [x] Located GoToDefinition reference implemen",
  "review_count": 0,
  "files_changed": 664,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-04T02:40:50.743362+00:00",
  "reviewer_excerpt": "@copilot your last attempt failed to push any commits with following error \"Command failed with exit code 1: git checkout copilot/fix-18626-2\\n\\nerror: Your local changes to",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/dotnet/fsharp/pull/18631#issuecomment-2918890081"
 },
 "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/18631",
 "page": "https://agentriders.com/logs/dotnet/fsharp/18631/"
}