)]}'
{
  "commit": "4c8c9d03a5ae82e91a1e66f6a6a063ea01139767",
  "tree": "cfaf490071bc543cba23226b03d37b28640af1bc",
  "parents": [
    "c3c441732e5ece9d1b6a376cb140cb4c043c4d44"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 13:03:57 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 13:03:57 2024 -0800"
  },
  "message": "refactor: builtin `rcases` tactic\n\nTODO: we still need to move the `Std` test file\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b2800e45b79e168bdbc2d6e8c76181f9426ae5f4",
      "old_mode": 33188,
      "old_path": "src/Init.lean",
      "new_id": "6aeeb5525cc5ba4ffd6c0c20d7e188913cc47441",
      "new_mode": 33188,
      "new_path": "src/Init.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "de9b7524147ae14614bdaac3d594f4148eb78d7a",
      "new_mode": 33188,
      "new_path": "src/Init/RCases.lean"
    },
    {
      "type": "modify",
      "old_id": "a8dd3b8ea7ae26b99918ca9a40f4ea88ae765168",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/RCases.lean",
      "new_id": "af3506fbdf5f33c935eeb8cab0ed17a9ba905d22",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/RCases.lean"
    },
    {
      "type": "modify",
      "old_id": "5d1b3ffe4777891b7c1e81350fcbe129e9c9841a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/FVarSubst.lean",
      "new_id": "3cbd2e4d986a034669464fa27346539094ef22e2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/FVarSubst.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "79c55b0469dce47a10a5d59d24d375c0e6a3cb30",
      "new_mode": 33188,
      "new_path": "tests/lean/run/rcases1.lean"
    }
  ]
}