)]}'
{
  "commit": "3b2c5348345ef2007d6533c7d8abfbc4bc3a8a9c",
  "tree": "6302548f42376e76e287176e4b8112894667b1b1",
  "parents": [
    "08c3f3c2366db7000fd20267e84aeb6e06487323"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 02 16:12:44 2025 +0200"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 02 16:14:48 2025 +0200"
  },
  "message": "feat: clear `implDetail` local declarations in `grind`\n\nThis PR applies `clear` to implementation detail local declarations during the `grind` preprocessing steps.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "05275f1a14aaaa7ebc84ce8a14b36083371bde2f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Main.lean",
      "new_id": "8fa73b24b6ad7731dfd226e97a39e3c74093cacc",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "2c6f22b425c3d3af0d48e20d550266fd35e77963",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Util.lean",
      "new_id": "87f1e1ff0f26832d0662b64d8a36f209f6dc7667",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0b8b56bb6097f1563374d62128049bdb59d82669",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ignore_impl_detail.lean"
    }
  ]
}