)]}'
{
  "commit": "ca99227cfd33802a80f84f82059304c0f6486167",
  "tree": "ba390406cbbd53dc9f0099c07686895c9c836561",
  "parents": [
    "c580684c227c380fe01a5bebb1978424448f58b5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 16 19:10:11 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 16 19:18:18 2024 -0700"
  },
  "message": "chore: add missing `withTraceNode`\n\nMotivation: improve `trace.profiler`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e6343ab3a20cb2e74f886aa0e62d91820cfe8bed",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Basic.lean",
      "new_id": "9c307d39e347e73ab499b824a443a3340bc787fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "897b197c3e008bbb742a8f7c064c370eed4b9e70",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Main.lean",
      "new_id": "55763c83804e7e8b9e2f1f0b40c9ef6266269a69",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Main.lean"
    }
  ]
}