)]}'
{
  "commit": "02ef8439817dc9725a128b075475d88301090935",
  "tree": "ab460df0854ffe6668eec6665cb79c65ef6b7345",
  "parents": [
    "cdeee2d3012375522666c08802961bdd21de94ae"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Mar 25 22:22:37 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Mar 25 22:22:37 2025 +1100"
  },
  "message": "fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "151153539cb991bfe66485de51407fe25efeff48",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "1db5a4acf74734e3ce751a13f02e06aedd4b29e4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "3cb388638e7b811fe8502708fbde794658da8dd4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a4410addbd52e0176d896a10960b964d0a604ef9",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}