)]}'
{
  "commit": "d198a7a0b4279537e3e924b233fd46a71b431d04",
  "tree": "c8a21c143c9422046d15b002749e8ca544498e8c",
  "parents": [
    "0070b06e10a3dc8f97dd1b46ed256e0adceb9e3d"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 17 19:09:09 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 17 19:09:09 2024 -0700"
  },
  "message": "chore: typo\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b5b877b1b9111cf267b94a768c46890333ccabb1",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/ReplaceExpr.lean",
      "new_id": "7354d49082522d9eff32e77a2b343c671351eb16",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/ReplaceExpr.lean"
    }
  ]
}