)]}'
{
  "commit": "232d67a22af0b1d40db1b32332aedee28b1d58f5",
  "tree": "5edc7a2bf3622699a4ccf44f859656a63ed949e5",
  "parents": [
    "fec547bb3718ea24a4a150ef1787b363359c64c5"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 24 05:32:01 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 24 05:32:01 2025 +0200"
  },
  "message": ".fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d781c0fc06761a5746c5a81a463c6a414a0b37db",
      "old_mode": 33188,
      "old_path": "src/Lean/PremiseSelection/MePo.lean",
      "new_id": "7c899eb76462dcab63e4b113e6c499016afb1347",
      "new_mode": 33188,
      "new_path": "src/Lean/PremiseSelection/MePo.lean"
    }
  ]
}