)]}'
{
  "commit": "633612249772cfa2d37c7f50eb1d4308f911996b",
  "tree": "331557760be4eef8aa3af32b9e54a4e2a4f890f3",
  "parents": [
    "90abb8f9642c4ce6e36c6368747fc35f5f6ebc8d"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 07 19:17:32 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 07 19:44:41 2024 -0700"
  },
  "message": "chore: remove `[irreducible]` from `letFun`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "36cbb836b2d24688ecfd40f44e49e503ebe2c223",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "c83f7767882bf39a0a4a454f8c9121ae59fa43d8",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    }
  ]
}