)]}'
{
  "commit": "85c14269b5d913899bb2da41bd379452f64dc8fa",
  "tree": "5e56c171b0fdb6e1987985904fa93edaa201ec3f",
  "parents": [
    "c5a7037593f30ab473e46cacd1c2177cc1db4ef8"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 04 11:13:05 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 04 11:13:05 2024 -0700"
  },
  "message": "chore: missing include\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "94bf6ae6639e7a954505014253a7c57869bf7a7b",
      "old_mode": 33188,
      "old_path": "src/kernel/instantiate_mvars.cpp",
      "new_id": "21ead4284057cfb5d6631bb085de91de559f2c53",
      "new_mode": 33188,
      "new_path": "src/kernel/instantiate_mvars.cpp"
    }
  ]
}
