)]}'
{
  "commit": "b32797795aa54069e122ee61163f15800fbad870",
  "tree": "507fd1f2c5dc18909c5622128e8dcfed555562ed",
  "parents": [
    "ee4065cc4dc9819c4386626d1b153a741a991d81"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jan 07 18:45:10 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jan 07 18:45:10 2025 -0800"
  },
  "message": "fix: missed split\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9ef005388f82f382164da265a2deb60b1f0d3fe7",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Util.lean",
      "new_id": "f37dcc4248983667b60e7f6aa390f4ff87b51114",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "bce265b73818c2249e4706b7e3449bb018b0ad0f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "fccb34b22f6843ae3154ecc7f72e94c040f0912e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    },
    {
      "type": "modify",
      "old_id": "42d1135a14f090feea280ba0f2f662526c6a1c82",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean",
      "new_id": "bfe1a3d014a5f4776deac603c3f528fba97b65d9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean"
    },
    {
      "type": "modify",
      "old_id": "c50bfcf6e6186e43b29d601bf06a077244573bef",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_match1.lean",
      "new_id": "303b9f7172f0bd4d59cc2b7aba7f04481be43deb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_match1.lean"
    }
  ]
}