)]}'
{
  "commit": "a0de63efb9360f02d20fd560bb9a0e4be0d0e906",
  "tree": "2266467c7192603af26bd5b214a046bbc518777c",
  "parents": [
    "fb11feff6ff54b5c2ddc2856f037abcdd9c1e9ce"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 13 16:39:55 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 13 16:46:52 2025 -0800"
  },
  "message": "chore: fix message\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "04205dfe596e53ad60d0a1b58043e3b5150b6bce",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/PP.lean",
      "new_id": "536c2ec61367666aeba967a9b809b6042db64473",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/PP.lean"
    },
    {
      "type": "modify",
      "old_id": "f0f0c3476c4dbfa5736adfc18c363a6830b77ad7",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_erase_attr.lean",
      "new_id": "409b38115e58d5bb7d4da546df0bce6d46e89aa6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_erase_attr.lean"
    },
    {
      "type": "modify",
      "old_id": "1fca2567f8541f71d65e289bbfb682be570bd2f9",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "6202477804dbca67cb215a127091a6b7a910e819",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    },
    {
      "type": "modify",
      "old_id": "a242aadb47fdef5d1ba8727cd456f608eb92f744",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_t1.lean",
      "new_id": "4e5ce23fa884b983240e9caf8fb8a2744281bcb9",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_t1.lean"
    }
  ]
}