)]}'
{
  "commit": "eddd70ac1b2dad3ea61618241fc37c916b1d43a1",
  "tree": "c1a697e9aa987e3ceeb1c0a63a9c9a34b3db298f",
  "parents": [
    "15a045ee662569aae80f66e801abbe3d1de1a494"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Tue Feb 07 15:33:05 2023 -0800"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Wed Feb 08 15:25:21 2023 -0800"
  },
  "message": "fix: unify goal before executing nested tactics in calc\n\nFixes #2095\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "151a6c0e629f5d1f5226987d15557351821a775f",
      "old_mode": 33188,
      "old_path": "src/Init/NotationExtra.lean",
      "new_id": "670a321724333cfc46b09db53749f72d77a505a9",
      "new_mode": 33188,
      "new_path": "src/Init/NotationExtra.lean"
    },
    {
      "type": "modify",
      "old_id": "e892d6cdf839b01a6acfea483d9cf63d38a47b5c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Calc.lean",
      "new_id": "e0f343fec535fce9dd98ecf43e68bf296fc9a089",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Calc.lean"
    },
    {
      "type": "modify",
      "old_id": "3350b8fad0601ff4ca1ac3c7b434f2db43d22b76",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Calc.lean",
      "new_id": "a62cb28c3fac0fa38e308bdcba2ead3b8976c469",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Calc.lean"
    },
    {
      "type": "modify",
      "old_id": "3c1a7f8ad3ea27e11abe0a6b650576bdc657f2ef",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/ElabTerm.lean",
      "new_id": "dce00625b01f1406b7a52c1fdfc5a842bfd6de08",
      "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": "6a6142da9eef91dfe86f61108a18796cbf82494f",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2095.lean"
    }
  ]
}