)]}'
{
  "commit": "37acc90e629fe1c350023be80f091fa13cdc396a",
  "tree": "6ee0c64a9c64cca9e76d5851e9ca389e31f6d99f",
  "parents": [
    "0348941187cde64993b28c5b9b364b39def22cbc"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jan 10 09:22:48 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jan 10 09:24:49 2026 +0000"
  },
  "message": "fix: use trimAscii when checking docstrings\n\nUse `.trimAscii` to ignore leading/trailing whitespace when comparing\ndocstrings, since `/-- doc -/` includes the trailing space.\n\n🤖 Generated with [Claude Code](https://claude.com/claude-code)\n\nCo-Authored-By: Claude \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0d8319f4a99c9301af2373eda48a35eafe41a66e",
      "old_mode": 33188,
      "old_path": "tests/lean/run/issue11799.lean",
      "new_id": "362e507b557591c6e99dea7a4c47eb4f2930b7c6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/issue11799.lean"
    }
  ]
}