)]}'
{
  "commit": "f55a46cb9a4c6bf6e613bed41cd22ab3c1b9104d",
  "tree": "0e892bc13a5d29827cd4c0cc5289b41179e0442d",
  "parents": [
    "97d07a54a353cc467e34470ca5417243cf3f9d9f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 07 17:30:13 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 07 17:30:13 2025 +1100"
  },
  "message": "chore: typos / improvements to grind messages\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3696eca31cbd87666e20e1a6c7c8dfe5dfc175fb",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "f4678adfc688bdb829e2ff6fc88e16cbea7d408f",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "9a231e3181620ec8fec006e666ddf4dce01d9fe2",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Util.lean",
      "new_id": "9ef005388f82f382164da265a2deb60b1f0d3fe7",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "05057121709c4a1695e864940d15ac20edda2850",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Canon.lean",
      "new_id": "6ac02c336ebd98312fef149b653b363d88e14f6c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Canon.lean"
    },
    {
      "type": "modify",
      "old_id": "9605c8e116e70dc8043eaf4780420e6d46ba4b27",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean",
      "new_id": "c8299413f00faf8a424f7fbdb8e099b0b9f31ffa",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean"
    },
    {
      "type": "modify",
      "old_id": "75b474303380eb692fed1da93e37c970957a9934",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "b0ee4931e2ebdb85fc7886731431c46e8ff9f870",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "7c98474232be13b836bd828b65de612adc864bba",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Split.lean",
      "new_id": "df1ff3f2852e47ab011401324f08c25768dd0f73",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Split.lean"
    },
    {
      "type": "modify",
      "old_id": "4544196da57fc89e4fd7883e001d1b9d9e2b4ca4",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "e76d726275d6ea3374ad21e86ee8e26433a1be67",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}