)]}'
{
  "commit": "0155a4b5cd542ae0446adee13f5b8bd8d6785c5f",
  "tree": "e5609a1c98882f6ba9f6b33dffd065e9044bd54e",
  "parents": [
    "7244cc6d5aad979771e9290863caaa053f34e3b0"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Feb 05 16:09:15 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Feb 05 16:09:15 2025 +1100"
  },
  "message": "fixes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9138cc7a6a6114f9d96ee2a9a3bfef9ac56c6e56",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/List.lean",
      "new_id": "42869d6d2a87ed941d3ee5c9949bcbf94e87bf0d",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/List.lean"
    },
    {
      "type": "modify",
      "old_id": "42e446801657f612829afec34a748547b69d17f1",
      "old_mode": 33188,
      "old_path": "src/Std/Time/Zoned/ZonedDateTime.lean",
      "new_id": "f8c6493dc433905e206713d117ba17ad169bff99",
      "new_mode": 33188,
      "new_path": "src/Std/Time/Zoned/ZonedDateTime.lean"
    },
    {
      "type": "modify",
      "old_id": "e98603ebb851ccef7338a81e182f35193593422c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/index_variables_linter.lean",
      "new_id": "fce714524ec705d069bdb762b678d3bd5385eb7d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/index_variables_linter.lean"
    }
  ]
}