)]}'
{
  "commit": "45ce6dda4bad9af6548576cab253a3a00a167033",
  "tree": "22d5986f364f6fe57d5bb31ed682fc0088501d4b",
  "parents": [
    "f6e19f1f931e19ec667e8d938ac822f62ffec75c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 02 07:22:33 2025 +0200"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 02 07:22:33 2025 +0200"
  },
  "message": "feat: warn `grind` redundant parameters\n\nThis PR produces a warning for redundant `grind` arguments.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "81dc1c05e7c6650ec84e2e62236cda233983fba7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "c80a8b23613f2a97b35c9965146c45dedf7cf04a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "4555aa942aa36cd9c2128ecb141d2d7362f73a8e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean",
      "new_id": "6fd20ab4c821ea571543c45c8c334277e3430ca2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a216315f7c5b9739ad086026b03408c90ef81c0e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_warn_param.lean"
    }
  ]
}