)]}'
{
  "commit": "6c691598124a0a05938bb28a686cd8c0027d57df",
  "tree": "9523bb79a5f6a51e36871205fe951d8aa99a657a",
  "parents": [
    "ddd6342737605bc62be1d1488aacb77f6bee3109"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Feb 21 09:11:15 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Feb 21 11:46:17 2024 -0800"
  },
  "message": "fix: allow users to disable builtin simprocs in simp args\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1f9b3b73e230bb32368c2bb1c5688c6c6f411126",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Simp.lean",
      "new_id": "d2054d40b65936c47d0cde7df3fadddf367834b4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "93ab97b630d7699b66e31e7c695a5d9794068132",
      "old_mode": 33188,
      "old_path": "src/Lean/ResolveName.lean",
      "new_id": "cd4fae2018f1fec063642ac16b5cda4951fb37ef",
      "new_mode": 33188,
      "new_path": "src/Lean/ResolveName.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2d54eacac561d3b4d8475975e726d5fd522dd2c1",
      "new_mode": 33188,
      "new_path": "tests/lean/run/simproc_disable_issue.lean"
    }
  ]
}