)]}'
{
  "commit": "cf45dcf518d60f5903f92359e08dbac73f23e36a",
  "tree": "3dca22b998a28d21eaa37e3d208479417a3735d2",
  "parents": [
    "cb1ce44aa70329f8136c399c315cb7ab603b879d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Apr 13 11:31:46 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Apr 13 11:31:46 2025 +1000"
  },
  "message": "fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "62ca75d6c9a4bb2f5eac5b5f944ad021773aef75",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_t1.lean",
      "new_id": "03c178b903bf6f9fd4e4535de48ef01714f60db2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_t1.lean"
    }
  ]
}
