)]}'
{
  "commit": "98c4424ba032190392cccc7eb599aed09c68df7b",
  "tree": "5944176b1dd549892a48971857322d3d012e982a",
  "parents": [
    "57b8b32c72b586ec062a200973192d8f8f2997c0"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 09 18:16:22 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 09 18:16:49 2024 -0700"
  },
  "message": "fix: `decide` tactic transparency\n\ncloses #4644\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9e281f26d7ed801376a7b0cdee0da1069c577d57",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/ElabTerm.lean",
      "new_id": "456479be1b4ae1427b2c8645d2bf43c5f01bedae",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/ElabTerm.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "273f3f441844f04f3c81d3b86ccd557924584ce1",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4644.lean"
    }
  ]
}