)]}'
{
  "commit": "c3486f253ffc92ac2336f9358c5e93b769f0e30f",
  "tree": "4ddb44215ad774cec28ed1d6deeccdfe6d6ce2ba",
  "parents": [
    "5c354050523bcffd30201fb30e0568004552b423"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Nov 09 23:42:39 2025 +0100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Nov 10 00:14:04 2025 +0100"
  },
  "message": "fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bf8963405098eaaf7f14784a345b687d1ffd3a77",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "4bd011bf40212513a5f8a5ec1ebb22ad6c154c4e",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "modify",
      "old_id": "53076d9eb30b677536c66cf40aebdb1a56b4981d",
      "old_mode": 33188,
      "old_path": "tests/pkg/structure_docstrings/StructureDocstrings/B.lean",
      "new_id": "e345be9851ef80056e6754cc1818aedc8dcddc3d",
      "new_mode": 33188,
      "new_path": "tests/pkg/structure_docstrings/StructureDocstrings/B.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "deee50d34977b908672b477e3d8d426af70fc84b",
      "new_mode": 33188,
      "new_path": "tests/pkg/structure_docstrings/StructureDocstrings/C.lean"
    },
    {
      "type": "modify",
      "old_id": "a487153a04f7db0c437f8c2060bede3a3c85165a",
      "old_mode": 33188,
      "old_path": "tests/pkg/structure_docstrings/lakefile.toml",
      "new_id": "4c0b776af5cec268985a917c20e0194deb91598e",
      "new_mode": 33188,
      "new_path": "tests/pkg/structure_docstrings/lakefile.toml"
    },
    {
      "type": "modify",
      "old_id": "dcca6df980debbd2ea9f99780850060302a7b8e8",
      "old_mode": 33188,
      "old_path": "tests/pkg/structure_docstrings/lean-toolchain",
      "new_id": "acba940092024941204fbbb8305a2f48aef6eb0e",
      "new_mode": 33188,
      "new_path": "tests/pkg/structure_docstrings/lean-toolchain"
    }
  ]
}