)]}'
{
  "commit": "30616a462973a7f438967734cb0a1da882751976",
  "tree": "5eb2b96d52a645371cc1e7b4659831ebde31d0af",
  "parents": [
    "08785b49c7c06dcb88f9b192579f972cc23ce3f3"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 17 13:57:41 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 17 13:57:41 2024 -0700"
  },
  "message": "feat: new `#reduce` elaborator\n\ncloses #4465\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "edae8de45e389e15343fcbc280654ad035dbad45",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "de29efba4ecf7442ce58d0fa333b01a7c3928ccf",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "a84ad444de67d88c8faede027fa2c8a4830a04c3",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "3c12788db2cf8dd36d9cc708c55d4919daf92a94",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "ca890dbe65472a5519c861595022f5203c5d9d98",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4465.lean"
    }
  ]
}