)]}'
{
  "commit": "41fcf900bec2fd3e87cb24787f2a4dba16f55dc5",
  "tree": "d9c135d696454304b93b61b5809b8b6ebf280b74",
  "parents": [
    "9daaadb1544be17c45ccf88ffce9daee6f1906da"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Feb 25 11:03:55 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Feb 25 11:05:11 2024 -0800"
  },
  "message": "chore: missing `prelude`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a9f8bce381930996b9e764dcda29253368f9c243",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/GuardMsgs.lean",
      "new_id": "b56889bea9ac68e7319594b84d843fba231f4ce8",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/GuardMsgs.lean"
    },
    {
      "type": "modify",
      "old_id": "1a02fc26db15cc8ef84c93c75fb17da66eb2b580",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions.lean",
      "new_id": "6642fb33721af3bde544cdaba4a271d93fef8bfa",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions.lean"
    },
    {
      "type": "modify",
      "old_id": "f00975b02a23f13412cedbcfcb80771d09ebf78e",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/Attr.lean",
      "new_id": "a751d7f56b635555b5826aa62d7b143f50f44ee1",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/Attr.lean"
    },
    {
      "type": "modify",
      "old_id": "6108768af5d108b4172c169c317210549b81239d",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/Provider.lean",
      "new_id": "13068794db046995afb1c7fdabfd0141e97e759e",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/Provider.lean"
    }
  ]
}