)]}'
{
  "commit": "6d26387662397ed30b316a616e2a3c77f6b0bb82",
  "tree": "bc781df2aea94dc630ed31dc7669a4087b436493",
  "parents": [
    "be80a2328119466082971f263c5d004376717a86"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jun 21 09:24:19 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jun 21 09:24:19 2025 +1000"
  },
  "message": "chore: a few missing grind typeclass docstrings\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0d1444f977d64213b1000105e0b0e0f5a4e9f45a",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Module/Basic.lean",
      "new_id": "46da380cde643bcf8968720c2d520bdc66c769f1",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Module/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "511e17c3650ca2a27ad64f11716420ddc4e54bfb",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Basic.lean",
      "new_id": "f35a88c4234d953b5dbfd72689075e2bdfbbf54b",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Basic.lean"
    }
  ]
}