)]}'
{
  "commit": "2282437bd150ea62349473a3bfab698914cc5396",
  "tree": "4768319ace4d5b253ba93482465e539cc285747c",
  "parents": [
    "13d0627e30fb24814340badbfb5ce2c19a7ddd8f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Mar 12 16:30:03 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Mar 12 16:30:03 2025 +1100"
  },
  "message": "fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c0e1b8efe8bd992fd52c2d56456d63d429a39795",
      "old_mode": 33188,
      "old_path": "tests/lean/run/hashmap-implicits.lean",
      "new_id": "4b96ffae51deba1cd601637a0fb0500757d82949",
      "new_mode": 33188,
      "new_path": "tests/lean/run/hashmap-implicits.lean"
    }
  ]
}