)]}'
{
  "commit": "e65cdfb77baf0fb05b81459874913d846d0a290e",
  "tree": "e73a6e4ab61e91bf6fdf87e3455c3c4ccdf7b407",
  "parents": [
    "fa4a4df5934967b252bcf8270eb6dd32f0b40cdf"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Aug 22 21:27:19 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Aug 22 21:27:19 2024 +1000"
  },
  "message": "better\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "07f8530d770ebc1b17432737c940747cd7e2bb98",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a18c8d5c2cc4de930da04ed56f276423e5467bd7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "4d8184321b4c39198b40a2b1e65e035f3f54fa88",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Basic.lean",
      "new_id": "849f2a8cdc1eef2c0a87f27b6c6f2f27e6625363",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Basic.lean"
    }
  ]
}