)]}'
{
  "commit": "36b63ce4acf92ba4853b4d69961115751d20f2c3",
  "tree": "4b3538e64e64c78c3848159d6dd6c4c6f7f9a7ae",
  "parents": [
    "aec4960ceb36570ccdd3be5802d8ec89bfe3a4d6"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Dec 03 12:47:59 2025 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Dec 04 05:32:02 2025 +0000"
  },
  "message": "add tests to ensure still works with -star\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4f5bbbde9710e32bee6dd65e23ff236b80b25512",
      "old_mode": 33188,
      "old_path": "tests/lean/librarySearch.lean",
      "new_id": "d0e79525bcaaf9f229568de03802a5c09e697749",
      "new_mode": 33188,
      "new_path": "tests/lean/librarySearch.lean"
    }
  ]
}