)]}'
{
  "commit": "44f8009e9111ebbabf56e56a78284fd00123316e",
  "tree": "85c8e8663d0f3a684563fff35358f3de24861c78",
  "parents": [
    "0b243f0ca33e1f6a2948c94896b22b2f304ac4c8"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 08 11:20:14 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 08 11:35:54 2022 +0100"
  },
  "message": "fix: show correct goal state after an empty `by`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "273a8aecab8cc0f8d83263acc8e154e72acecefe",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "3a0e69bb9355684be5c816d46fb0d348494304fa",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    },
    {
      "type": "modify",
      "old_id": "dfa8945e00bbda5b44b1b6461b4510d0a37c021b",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/plainGoal.lean",
      "new_id": "43d825a031866a325efd1e27d2da21a2e866ca36",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/plainGoal.lean"
    },
    {
      "type": "modify",
      "old_id": "0243b5037d9e5c86a0015da1cc3019528ef83e58",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/plainGoal.lean.expected.out",
      "new_id": "659892bc3be64580dc4222ebc23057c7139c177a",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/plainGoal.lean.expected.out"
    }
  ]
}