)]}'
{
  "commit": "a2fb801b6e8c4c37d105e3632dccc5f3b805c63d",
  "tree": "fd81276a87d92fbb7815a8355da5f6491cc47824",
  "parents": [
    "1a9cbc96f1cbbbd2bb0092e574c5de64dc9d948c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jul 15 16:32:11 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 16 08:19:55 2024 -0700"
  },
  "message": "chore: missing `profileitM`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "17f795c3eea1b3f09b44f7416f39f62d9be82b1d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Basic.lean",
      "new_id": "0b39151d852e19129875105e090fb414a31116cb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "58ecd81b62abd10a0d9d057379fd12c4ee626bca",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Main.lean",
      "new_id": "897b197c3e008bbb742a8f7c064c370eed4b9e70",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Main.lean"
    }
  ]
}