)]}'
{
  "commit": "a94d517c471ce25d38fae1951d4c6e2e34db189d",
  "tree": "599a449fccee92bcdc212963e11364b700298b7b",
  "parents": [
    "9ee8e0c8966f8f65f3f004d4f84b926f41094cc4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 09 22:28:39 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 09 22:28:39 2025 -0700"
  },
  "message": "chore: minor perf improvement\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8f89c19ad310a88d9bbccf595152e8d0cb3205f4",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/SimpUtil.lean",
      "new_id": "061058996a6d3314d33f62e06a8fc69145a52a23",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/SimpUtil.lean"
    }
  ]
}