)]}'
{
  "commit": "20f2ece16641258d9d5765c165045e6887fc2cca",
  "tree": "f448b20c3c54434ad112a1065e11777c854bd4d3",
  "parents": [
    "6c093a5f4c11066fe5641959e8255b2aa2d045d8"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Sat Dec 20 16:38:31 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Sat Dec 20 16:38:31 2025 -0500"
  },
  "message": "stop using deprecated functions\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6e3aff0de910d2d1f0343c5eb8fda47132c0a6a5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/ErrorExplanation.lean",
      "new_id": "1c429d6fac4fe8d5eacba1e45bcb764c4818155c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/ErrorExplanation.lean"
    },
    {
      "type": "modify",
      "old_id": "3998fc14ebd32337d42254258742f3d7fc95b575",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Completion/CompletionCollectors.lean",
      "new_id": "64abd78e47a6e6d999cfe40904ccd68a82190a46",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Completion/CompletionCollectors.lean"
    },
    {
      "type": "modify",
      "old_id": "0cf1840a18794d33f88a7c6ea8490726c95c1989",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/GoTo.lean",
      "new_id": "1846f16fc22f696d532c57610bef7b08f0ff7626",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/GoTo.lean"
    }
  ]
}