{
 "flight": {
  "id": 917735,
  "agent": "devin",
  "state": "merged",
  "title": "Rename --lp option to --mip and keep --lp as an alias",
  "number": 189,
  "source": "aidev",
  "commits": 3,
  "debrief": "Devin was asked to rename the --lp option to --mip in toysat, toysolver, and toysolver_check and keep --lp as an alias. It changed four files over three commits. One change request asked it to remove the --lp mention from README.md. The pull request merged after rework, 29.74 hours after opening.",
  "outcome": "merged_after_rework",
  "signals": [
   "aidev:Devin"
  ],
  "index_ok": true,
  "additions": 10,
  "closed_at": "2025-05-16T12:25:26+00:00",
  "deletions": 7,
  "merged_at": "2025-05-16T12:25:26+00:00",
  "opened_at": "2025-05-15T06:41:05+00:00",
  "task_type": "feat",
  "body_chars": 620,
  "confidence": "dataset",
  "updated_at": "2026-11-04T03:01:15.205922+00:00",
  "enriched_at": null,
  "body_excerpt": "# Rename --lp option to --mip and keep --lp as an alias\n\n`toysat`, `toysolver`, and `toysolver_check` commands have `--lp` option, which turns them into a mode for solving/processing MIP problems in LP files (`*.lp`) or MPS files (`*.mps`).\n\nInitially, only the LP file was supported, so the option w",
  "review_count": 2,
  "files_changed": 4,
  "hours_to_merge": 29.74,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 1,
  "og_generated_at": "2026-11-04T03:01:15.205922+00:00",
  "reviewer_excerpt": "I think it's not necessary to mention the deprecated option in README.md. Could you remove the mention of the `--lp` option from `README.md` ?",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/msakai/toysolver/pull/189#pullrequestreview-2846415434"
 },
 "repo": {
  "name": "toysolver",
  "owner": "msakai",
  "stars": 159,
  "license": "NOASSERTION",
  "full_name": "msakai/toysolver",
  "primary_language": "Haskell"
 },
 "author": {
  "login": "devin-ai-integration[bot]",
  "name": null,
  "github_profile": "https://github.com/devin-ai-integration[bot]",
  "page": null
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Devin AI"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Devin AI"
  },
  {
   "at": null,
   "url": null,
   "kind": "reviewed",
   "actor_login": null
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Devin AI"
  },
  {
   "at": null,
   "url": null,
   "kind": "reviewed",
   "actor_login": null
  },
  {
   "at": "2025-05-16T11:58:56+00:00",
   "url": "https://github.com/msakai/toysolver/pull/189#pullrequestreview-2846415434",
   "kind": "changes_requested",
   "actor_login": "msakai"
  },
  {
   "at": "2025-05-16T12:25:26+00:00",
   "url": null,
   "kind": "merged",
   "actor_login": "msakai"
  },
  {
   "at": "2025-05-16T12:25:26+00:00",
   "url": null,
   "kind": "closed",
   "actor_login": "msakai"
  }
 ],
 "related": [],
 "pr_url": "https://github.com/msakai/toysolver/pull/189",
 "page": "https://agentriders.com/logs/msakai/toysolver/189/"
}