)]}'
{
  "commit": "721c04182139cfaa3cc7cb4b4914a8c49003eb21",
  "tree": "63d4105594342dee4b4cd143f0385ce1bdcbba9d",
  "parents": [
    "7b29d976edfebf211141c83fc325ae8dd5e5414b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 14 05:02:15 2025 +0100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 14 05:02:15 2025 +0100"
  },
  "message": "feat: ∎ macro for try?\n\n🤖 Generated with [Claude Code](https://claude.com/claude-code)\n\nCo-Authored-By: Claude \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bc05b0d9f8caa65929e025bbe14e792b78e549f9",
      "old_mode": 33188,
      "old_path": "src/Init/Try.lean",
      "new_id": "b5f8d79adaf7e663212b4ec961e5bfe8ae19d94b",
      "new_mode": 33188,
      "new_path": "src/Init/Try.lean"
    },
    {
      "type": "modify",
      "old_id": "eeb7736080e7a5bda326a1de7f799e839b6ff345",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Try.lean",
      "new_id": "3e1f4ddd97876a0853ec1a5ef413dbbd12ab788c",
      "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": "b44cf4c0b99f0449c74e9237832c63c4c60cb478",
      "new_mode": 33188,
      "new_path": "tests/lean/run/qed_macro.lean"
    }
  ]
}