)]}'
{
  "commit": "541ffe874b03f0eca1c35a9469231de10942fc28",
  "tree": "5844991592d11205ef5afd443c280f4fd5ac32d1",
  "parents": [
    "b3bfd1b66121fc76fbccc33d844d35a44b142c5c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 31 12:51:10 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 31 12:53:16 2024 -0800"
  },
  "message": "feat: configuration options for `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "399476cf6a9b67b66dbb95f097891fcf22f0531d",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "bdc6bea97107ac1f46902e58b349b94a6b2a1e6b",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "293e06197eedf65e0377587183fc84988c5e3a12",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "774c6c055185924441916483df254fb631a1e8b2",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "450cbe00d43508ff0f169dab2247a98eefc99657",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "e4fc281b08cba6f61eaf25ecb6fc4da1206c7097",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    },
    {
      "type": "modify",
      "old_id": "bb638daffea75793e8c4b1099ee7276ffe894c74",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean",
      "new_id": "24eafd0f314db4be8e8055803049fe8d42e498d3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean"
    },
    {
      "type": "modify",
      "old_id": "e36c3437d813bee7ad2bfdf10a2953e4bf0270e1",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Run.lean",
      "new_id": "7ad71412378ddbc2b152e6adab660d4a9dcc533c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Run.lean"
    },
    {
      "type": "modify",
      "old_id": "754f2c1e573dfef3d3771c25407b23d8338440bd",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "fb88cb021fd1516f0c598c3d4fe7eaa189d1b9ec",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "f8a0a9d241c9b9e67dd09fa59a522b7a799716ca",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ematch1.lean",
      "new_id": "620e590247c223f9567e36d47d86f100fc3c84e7",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ematch1.lean"
    }
  ]
}