)]}'
{
  "commit": "5a19c7741f9deb98737998a15ac4b98b97db645f",
  "tree": "09561658548cb1a4350dbc41ce2ca2254193ef92",
  "parents": [
    "3305d0bf9d1084edc4fe14e5f92a3d7389aad8f1"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon May 20 18:45:01 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon May 20 18:45:01 2024 -0700"
  },
  "message": "feat: `grind.cases` tactic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "97733f5007d255dd298fd2bf1ad6c4b1606f5965",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "3d9675f74671eb50fd2a7dd5b40d1a1d7a5b1911",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9dd44b4f270e671f4d69255f30b70e171c331fd5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Cases.lean"
    },
    {
      "type": "modify",
      "old_id": "4f507f0875aa41c1bfd0a7d1ec2bcdb4f2fbf2a5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean",
      "new_id": "753224bf9b178bd3bbc9a94bebfe58ebf54f3bd2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean"
    },
    {
      "type": "modify",
      "old_id": "73062a2cfddcb9b2e16be33ca7f0b3b971b85cbd",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "5a0d45ccaf1b31dc511a1cc1b1f9a205b5f1fc25",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    }
  ]
}