)]}'
{
  "commit": "26e0fe2559a7a32794c50f6f94373d627e057536",
  "tree": "fc0297e8f9ab86037b0319d662ab9654884714ee",
  "parents": [
    "04e81de579977313455236358c0c7aebc77a33f9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 17:10:31 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 17:10:31 2025 +1000"
  },
  "message": "wip\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "27ac5fd81d8d65f7039dfe00cce6a5c13eda46d4",
      "old_mode": 33188,
      "old_path": "src/Init/Classical.lean",
      "new_id": "53cc7b0e022a4ef66c7f6f666e131de3e9b8e7ff",
      "new_mode": 33188,
      "new_path": "src/Init/Classical.lean"
    },
    {
      "type": "modify",
      "old_id": "a2d90cc862532573cf6ced3ed1288c252205c139",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "e4192083515a59702db5bb3c44dc808dceb59d03",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}