)]}'
{
  "commit": "f78766535e794f67a7a8b3f1ea2362327f7f3d30",
  "tree": "db1fd5b27c1f582c793e449c51edb5aa57d9ad0d",
  "parents": [
    "b141110c411ad5a3c150f0febfc17107c28eb6bd"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Feb 19 11:36:09 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Feb 19 11:39:23 2024 +0100"
  },
  "message": "fix more exception swallowing\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "96b13e772d2d3356fea4067599aff25a0544be42",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "0082ad8571a0438373340d102d40c55299ff57b6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "96fe133093eb5196bc3182eccb4ef021ab062f5d",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Trace.lean",
      "new_id": "9cae9855ba39f9ea7f06ba8c35ccd7c56e49e13e",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Trace.lean"
    }
  ]
}