)]}'
{
  "commit": "9b2f5befd222ec3441e2f353efcbce4fa14cdd2f",
  "tree": "8c0696512c1e4a6dfff87b72e059d442be304681",
  "parents": [
    "ef603cf37d20dce48eda63f740b83480faedd613"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon May 05 10:43:58 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon May 05 10:43:58 2025 +0200"
  },
  "message": "fix: make invalid use of \u0027partial\u0027 error more robust\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bbdf0525a3dd4fff9336eaffc74c4d7fd748a707",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Main.lean",
      "new_id": "70364c6976a7a78d80c366e1c1322f2b0e4812d9",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "2b6c3aabe61b9f7668f237817451f116dcd5634f",
      "old_mode": 33188,
      "old_path": "tests/lean/697.lean.expected.out",
      "new_id": "2b0df6b78f6761f014f30e261fa9e71df05159c4",
      "new_mode": 33188,
      "new_path": "tests/lean/697.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "36622119dc6cd394eeba8a40ab30ab3610a901fc",
      "old_mode": 33188,
      "old_path": "tests/lean/sanitychecks.lean.expected.out",
      "new_id": "4be181975ec726a0606ac6574b306ed69fd5a0c1",
      "new_mode": 33188,
      "new_path": "tests/lean/sanitychecks.lean.expected.out"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c18ae0e1992d48159268b98fec73daa2bc74a706",
      "new_mode": 33188,
      "new_path": "tests/lean/silent_failure.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "33cf3dc71a00d6409e339466bced6ccb849613ad",
      "new_mode": 33188,
      "new_path": "tests/lean/silent_failure.lean.expected.out"
    }
  ]
}