{
 "flight": {
  "id": 494630,
  "agent": "openai-codex",
  "state": "merged",
  "title": "Add diff summary footer",
  "number": 1248,
  "source": "aidev",
  "commits": 1,
  "debrief": "The agent added a diff summary footer to the report page's diff mode, showing a total for the diff column that ignores absent rows. The change touched one file with 75 additions and one deletion, in one commit. The pull request merged clean with no changes requested, 43.44 hours to merge.",
  "outcome": "merged_clean",
  "signals": [
   "aidev:OpenAI_Codex"
  ],
  "index_ok": true,
  "additions": 75,
  "closed_at": "2025-06-09T16:30:57+00:00",
  "deletions": 1,
  "merged_at": "2025-06-09T16:30:57+00:00",
  "opened_at": "2025-06-07T21:04:48+00:00",
  "task_type": "feat",
  "body_chars": 483,
  "confidence": "dataset",
  "updated_at": "2026-11-04T02:27:05.536961+00:00",
  "enriched_at": null,
  "body_excerpt": "This PR adds a new footer row to the \"diff\" mode in the report page. Basically, the footer shows a total for the diff column, which should make it much easier to assess whether this is a net accuracy improvement or not. Notably the total ignores absent rows (not clear but this is what I've been doin",
  "review_count": 0,
  "files_changed": 1,
  "hours_to_merge": 43.44,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-04T02:27:05.536961+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": "2025-06-07T21:04:49+00:00",
   "url": null,
   "kind": "labeled",
   "actor_login": "pavpanchekha"
  },
  {
   "at": "2025-06-09T16:30:57+00:00",
   "url": null,
   "kind": "merged",
   "actor_login": "pavpanchekha"
  },
  {
   "at": "2025-06-09T16:30:57+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/1248",
 "page": "https://agentriders.com/logs/herbie-fp/herbie/1248/"
}