)]}'
{
  "commit": "8d06adf2cb2037cf2ec994d7a467d017b9942a62",
  "tree": "0e7a8844b5f042be903e81a1a0dc1926f94a83ef",
  "parents": [
    "dd9f474fab08cd6b85c555659871ab457b5ac9d9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Dec 20 12:34:33 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 12 22:33:09 2026 +1100"
  },
  "message": "add grind_order and grind_linarith wrappers while we\u0027re here\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "969e5ca23588e2ac4de8e99e5c23099e358b15ac",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Config.lean",
      "new_id": "44516ee0e22cb6b31acb3190950616fb6a2544df",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Config.lean"
    },
    {
      "type": "modify",
      "old_id": "1ca0f48ba9be67ddab93b098dd8666d4b9544223",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "0f0f95f267c6bbb03e6fb69c947fa82d21d00edc",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "82ef77bb0673bc86825380d9286f711ab9646c3d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Main.lean",
      "new_id": "ee4971b812fa86515660ca09be721d4df6f5890f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "c1b0263aa1a372b4ea4d447cb16b13f83de0807c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/lia_order_bug.lean",
      "new_id": "228fe9401f5ae1998f6a5ade34fcb2bca83a3313",
      "new_mode": 33188,
      "new_path": "tests/lean/run/lia_order_bug.lean"
    },
    {
      "type": "modify",
      "old_id": "9eb9e2ebf51149eab217917fb387eeb810e9e811",
      "old_mode": 33188,
      "old_path": "tests/lean/run/string_pos_grind.lean",
      "new_id": "cd6dea144eecde36caacfc1e729e217e1ae41954",
      "new_mode": 33188,
      "new_path": "tests/lean/run/string_pos_grind.lean"
    }
  ]
}