)]}'
{
  "commit": "490fc4613f135a8ce1b74a99490c1014a1e96c7b",
  "tree": "8718ac4a6c7aae4831bb9a2de081d856b7d674fe",
  "parents": [
    "66ec2e011d5a7a930b1485df8dfcea9e626987fc"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 06 13:15:43 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 06 13:15:43 2025 +1100"
  },
  "message": "revert\n",
  "tree_diff": [
    {
      "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"
    }
  ]
}