{
 "flight": {
  "id": 46596,
  "agent": "github-copilot",
  "state": "closed",
  "title": "Fix git describe command failure in CMake configuration",
  "number": 7716,
  "source": "aidev",
  "commits": 2,
  "debrief": null,
  "outcome": "abandoned",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": false,
  "additions": 1,
  "closed_at": "2025-07-02T16:06:21+00:00",
  "deletions": 0,
  "merged_at": null,
  "opened_at": "2025-07-02T15:49:22+00:00",
  "task_type": "fix",
  "body_chars": 1530,
  "confidence": "dataset",
  "updated_at": "2026-11-03T17:53:33.703657+00:00",
  "enriched_at": null,
  "body_excerpt": "The Azure pipelines build was failing due to a `git describe --long` command error in the CMake configuration. The command would fail with \"No names found, cannot describe anything\" when the current commit is not reachable from any git tag, causing CMake warnings and potential build failures.\n\n## Pr",
  "review_count": 0,
  "files_changed": 2,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": null,
  "reviewer_excerpt": null,
  "review_comment_count": 0,
  "reviewer_excerpt_url": null
 },
 "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": "2025-07-02T16:06:21+00:00",
   "url": null,
   "kind": "closed",
   "actor_login": "NikolajBjorner"
  }
 ],
 "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/7716",
 "page": "https://agentriders.com/logs/Z3Prover/z3/7716/"
}