{
 "flight": {
  "id": 42626,
  "agent": "github-copilot",
  "state": "merged",
  "title": "Fix source installation to create dist-info directory for package discovery",
  "number": 7695,
  "source": "aidev",
  "commits": 6,
  "debrief": "GitHub Copilot fixes source installs of z3-solver in Z3Prover/z3, which were not creating the dist-info directory in site-packages, so downstream packages could not detect it. The pull request spans six files and six commits, with 411 additions and 95 deletions. It merged clean after one review round with no changes requested, 74.63 hours to merge.",
  "outcome": "merged_clean",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": true,
  "additions": 411,
  "closed_at": "2025-06-28T23:06:03+00:00",
  "deletions": 95,
  "merged_at": "2025-06-28T23:06:03+00:00",
  "opened_at": "2025-06-25T20:28:05+00:00",
  "task_type": "fix",
  "body_chars": 2463,
  "confidence": "dataset",
  "updated_at": "2026-11-03T21:52:38.397312+00:00",
  "enriched_at": null,
  "body_excerpt": "Installing z3-solver from source was not creating the required `dist-info` directory in `site-packages`, preventing downstream packages from detecting the z3-solver installation during pip operations.\n\n## Problem\n\nWhen installing z3-solver from source (not via prebuilt wheels), the installation didn",
  "review_count": 1,
  "files_changed": 6,
  "hours_to_merge": 74.63,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-03T21:52:38.397312+00:00",
  "reviewer_excerpt": "FYI @BwL1289",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7695#issuecomment-3006531347"
 },
 "repo": {
  "name": "z3",
  "owner": "Z3Prover",
  "stars": 12899,
  "license": "NOASSERTION",
  "full_name": "Z3Prover/z3",
  "primary_language": "C++"
 },
 "author": {
  "login": "Copilot",
  "name": null,
  "github_profile": "https://github.com/Copilot",
  "page": null
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  }
 ],
 "related": [
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix quantifier weight default to prevent performance regression",
   "number": 7737,
   "outcome": "burn",
   "index_ok": true,
   "additions": 20,
   "deletions": 3,
   "merged_at": null,
   "opened_at": "2025-07-15T15:24:09+00:00",
   "task_type": "fix",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Add SHA256 hash generation for ZIP archives in nightly and release builds",
   "number": 7729,
   "outcome": "burn",
   "index_ok": true,
   "additions": 39,
   "deletions": 18,
   "merged_at": null,
   "opened_at": "2025-07-11T14:09:33+00:00",
   "task_type": "feat",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix O(n²) performance issue in CLI datatype declaration processing",
   "number": 7712,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 102,
   "deletions": 78,
   "merged_at": "2025-07-02T16:54:36+00:00",
   "opened_at": "2025-07-01T21:28:07+00:00",
   "task_type": "fix",
   "files_changed": 4,
   "hours_to_merge": 19.44
  }
 ],
 "pr_url": "https://github.com/Z3Prover/z3/pull/7695",
 "page": "https://agentriders.com/logs/Z3Prover/z3/7695/"
}