)]}'
{
  "commit": "1f471853c481b7572b2be064c6c1ef0d03f2ad9b",
  "tree": "aae27e239c5e49386b170a0c4e9df0f30a15ba8e",
  "parents": [
    "b3a7cfc87300fa1c8707bffb6692b15f9d9c2833"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Feb 05 13:48:13 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Feb 05 13:48:13 2025 -0800"
  },
  "message": "feat: add `evalAndSuggest` helper tactic\n\nThis PR adds the auxiliary tactic `evalAndSuggest`. It will be used to\nrefactor `try?`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6871380c9ac9fd210acd9453351fe5325294df3f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Try.lean",
      "new_id": "064fcc5855aa3fefa62c03672c5002eb1b8dedf4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Try.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d8be9c1c36b15c3a0fcdfbd17a98cc8235e94d81",
      "new_mode": 33188,
      "new_path": "tests/lean/run/eval_suggest1.lean"
    }
  ]
}