)]}'
{
  "commit": "105be27213027b75c9ce089a14e40c410f673781",
  "tree": "064646645c1092de5eb30257da45e9b2de0b176b",
  "parents": [
    "b05d2fbd32200cba79a403fd8386e82f4252ee01"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 18:26:29 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 18:26:29 2024 -0800"
  },
  "message": "feat: multi-pattern support in the `ematch` procedure\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "962b0a842b234f0282450b8ba5fb698b509ebf4a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "a96f107d01da0a46415737f89b1f0924859a8d2e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    },
    {
      "type": "modify",
      "old_id": "0102670d353715258173021ccbd61e46b87e594d",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ematch1.lean",
      "new_id": "20c9a0c340dfd744c9fa88c8e27163d2d59ae056",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ematch1.lean"
    }
  ]
}