)]}'
{
  "commit": "f5b3e3e85248a0da5d8a909de10e4beeedb9230b",
  "tree": "5d79cdc17a9b426123fa0b03bcc4e48bb36207bc",
  "parents": [
    "3f52f877dc8d9c2650f6d9fa4d13e08edc2e397b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 08 17:35:00 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 08 17:35:00 2024 +0200"
  },
  "message": "trace.profiler.output.pp\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7ac1cbd40dffd16de7e9d7370f07e976d6734dc7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "f1b0c89d18f3a02b345c61f6feace0f10d6707fa",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "0be647f3ec202bca1b08a82203aa4f24282655d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Profiler.lean",
      "new_id": "d94e9f231b3c4b4b4407210c969c8043faf7d4b5",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Profiler.lean"
    },
    {
      "type": "modify",
      "old_id": "6043fd2ba260a7f6dbdadda186ee72239661077f",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Trace.lean",
      "new_id": "8f13d6389413fc5bf724518a78dea8a430fe8409",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Trace.lean"
    }
  ]
}