)]}'
{
  "commit": "31a05b79f70d61428a4a291004fa8e1c316c0e9f",
  "tree": "3fb9709b55e108c4813f0fe36f1d6ec16bb010d1",
  "parents": [
    "1764cfa4cea1277eb095b750dab65604e6df48e5"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Fri Nov 14 17:16:36 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Fri Nov 14 17:16:36 2025 -0500"
  },
  "message": "Put a finer point on the only-raising-one-exception point\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "76132a35978f38e86f23cf72bac89c86a4998501",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/SyntheticMVars.lean",
      "new_id": "aba6c754702e8e600bf9e21d048019fbb25e3db9",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/SyntheticMVars.lean"
    }
  ]
}