)]}'
{
  "commit": "ed192948d96ab564c9c6730a57bfb727f6c3f96f",
  "tree": "b8f32d0ea6ac57d2b128e3a67c5ad787dac89cc0",
  "parents": [
    "60fd9846fa29ce17d7150de32f4cf130d01b6752"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue May 14 13:09:01 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue May 14 13:09:01 2024 +1000"
  },
  "message": "turn off linter again\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "274b1021453953a5a9374ec327b8fa167d55842c",
      "old_mode": 33188,
      "old_path": "src/Lean/Widget/UserWidget.lean",
      "new_id": "fa5e0c4c596fb858728b7828c5f8586a08972920",
      "new_mode": 33188,
      "new_path": "src/Lean/Widget/UserWidget.lean"
    }
  ]
}