)]}'
{
  "commit": "a0803909e8f03883726dd3ebf4e1ef645a32bf6e",
  "tree": "97055dbc15e88b972cef02d01e76b0431fb1a8d6",
  "parents": [
    "831fa0899fd0397e5a8f21abc2c5fcee8883c481"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 16 14:15:33 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 16 14:16:25 2024 +1100"
  },
  "message": "chore: upstream classical tactic\n\nchore: upstream classical tactic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fe5e05253bf429a65d0b1957bc59536320fadbb2",
      "old_mode": 33188,
      "old_path": "src/Init/Tactics.lean",
      "new_id": "dd2874c965db5fa4bab8d6c5449a97fb5fe1da3f",
      "new_mode": 33188,
      "new_path": "src/Init/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "b8faf9a1749d033192bddf534a94dd27b5f0a485",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic.lean",
      "new_id": "c3b49d277cdd0c5b8a3dd6e09dec3a1bad5fc3ad",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "787310edc0a56967d4a88d77b8bfacba533ecc88",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Classical.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "4e56bf3e13a6a13269da653b6410e44d55e45669",
      "new_mode": 33188,
      "new_path": "tests/lean/run/classical.lean"
    }
  ]
}