)]}'
{
  "commit": "302dc9454450eb29ad4ea9b01d87ac60365299ad",
  "tree": "95100e61c90a6441add9cc8a17ba0d869009940d",
  "parents": [
    "788b82cfe6c1e869463e0c1f71b32fb42cd9e209"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Nov 13 08:14:14 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Nov 13 08:14:14 2025 +1100"
  },
  "message": "fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cf860df8529c7e17ad83edb7f91bccc1d6fb9dad",
      "old_mode": 33188,
      "old_path": "src/Init/Try.lean",
      "new_id": "bc05b0d9f8caa65929e025bbe14e792b78e549f9",
      "new_mode": 33188,
      "new_path": "src/Init/Try.lean"
    },
    {
      "type": "modify",
      "old_id": "bf8baa66f497e92cbf3ace1c914ca28b827db64c",
      "old_mode": 33188,
      "old_path": "tests/lean/versoDocMissing.lean.expected.out",
      "new_id": "d391964f107201789594b07a52235a661883fdd3",
      "new_mode": 33188,
      "new_path": "tests/lean/versoDocMissing.lean.expected.out"
    }
  ]
}