)]}'
{
  "commit": "0dd9e95b82070968bd30e34e4c46127a71c45c8e",
  "tree": "b2cb15980ced9db7c934fb8ee573b7b771b31bef",
  "parents": [
    "d5348dfac847a56a4595fb6230fd0708dcb4e7e9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 06 17:47:11 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 06 17:47:11 2023 +0200"
  },
  "message": "fix: `save` when used as last tactic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b0b0f2d90c496c2f4b778d6bd9f30fa26d6c679",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean",
      "new_id": "ea220167091d641426f8eb4083c84b94eff071d1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean"
    },
    {
      "type": "modify",
      "old_id": "fb2724d6dea1f556d7459c3f66bd176b38b018c8",
      "old_mode": 33188,
      "old_path": "tests/playground/sleep_save.lean",
      "new_id": "411f4c43f4ec30b8d1bfa220457e4db56db2968d",
      "new_mode": 33188,
      "new_path": "tests/playground/sleep_save.lean"
    }
  ]
}