{
 "flight": {
  "id": 111250,
  "agent": "openai-codex",
  "state": "merged",
  "title": "Remove unused functions in `common.rkt`",
  "number": 1262,
  "source": "aidev",
  "commits": 3,
  "debrief": "The agent removed unused functions from common.rkt in herbie. The PR deletes 90 lines and adds two across four files in three commits. Its description says alt-table was rewritten so the functions are no longer needed. It merged after 20 hours with no change requests and zero review comments.",
  "outcome": "merged_clean",
  "signals": [
   "aidev:OpenAI_Codex"
  ],
  "index_ok": true,
  "additions": 2,
  "closed_at": "2025-06-11T16:03:53+00:00",
  "deletions": 90,
  "merged_at": "2025-06-11T16:03:53+00:00",
  "opened_at": "2025-06-10T20:03:47+00:00",
  "task_type": "refactor",
  "body_chars": 207,
  "confidence": "dataset",
  "updated_at": "2026-11-03T22:02:02.661045+00:00",
  "enriched_at": null,
  "body_excerpt": "This PR removes some unused functions from `common.rkt`. The used to be used in `alt-table` but I rewrote that module to not use them.\n\nhttps://chatgpt.com/codex/tasks/task_e_684849b1e6dc8331b9d6c268978e29e1",
  "review_count": 0,
  "files_changed": 4,
  "hours_to_merge": 20,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-03T22:02:02.661045+00:00",
  "reviewer_excerpt": null,
  "review_comment_count": 0,
  "reviewer_excerpt_url": null
 },
 "repo": {
  "name": "herbie",
  "owner": "herbie-fp",
  "stars": 896,
  "license": "NOASSERTION",
  "full_name": "herbie-fp/herbie",
  "primary_language": "HTML"
 },
 "author": {
  "login": "pavpanchekha",
  "name": "Pavel Panchekha",
  "github_profile": "https://github.com/pavpanchekha",
  "page": "https://agentriders.com/logs/author/pavpanchekha/"
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Pavel Panchekha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Pavel Panchekha"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Pavel Panchekha"
  },
  {
   "at": "2025-06-10T20:03:48+00:00",
   "url": null,
   "kind": "labeled",
   "actor_login": "pavpanchekha"
  },
  {
   "at": "2025-06-11T16:03:53+00:00",
   "url": null,
   "kind": "merged",
   "actor_login": "pavpanchekha"
  },
  {
   "at": "2025-06-11T16:03:53+00:00",
   "url": null,
   "kind": "closed",
   "actor_login": "pavpanchekha"
  }
 ],
 "related": [
  {
   "agent": "openai-codex",
   "state": "merged",
   "title": "Adjust ordinal range to signed integers",
   "number": 1342,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 19,
   "deletions": 16,
   "merged_at": "2025-07-29T21:38:20+00:00",
   "opened_at": "2025-07-28T23:29:33+00:00",
   "task_type": "feat",
   "files_changed": 4,
   "hours_to_merge": 22.15
  },
  {
   "agent": "openai-codex",
   "state": "merged",
   "title": "Remove name field from platform struct",
   "number": 1329,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 13,
   "deletions": 18,
   "merged_at": "2025-07-23T17:51:16+00:00",
   "opened_at": "2025-07-23T04:14:22+00:00",
   "task_type": "refactor",
   "files_changed": 2,
   "hours_to_merge": 13.62
  },
  {
   "agent": "openai-codex",
   "state": "merged",
   "title": "Switch softposit and rival platforms to #:fpcore",
   "number": 1328,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 163,
   "deletions": 171,
   "merged_at": "2025-07-22T23:03:49+00:00",
   "opened_at": "2025-07-22T22:57:45+00:00",
   "task_type": "refactor",
   "files_changed": 2,
   "hours_to_merge": 0.1
  }
 ],
 "pr_url": "https://github.com/herbie-fp/herbie/pull/1262",
 "page": "https://agentriders.com/logs/herbie-fp/herbie/1262/"
}