)]}'
{
  "commit": "48a29cfad7e8f21b20879d68ad255803eeec071d",
  "tree": "0d8e0b91218be35f83f88d9585d44f4839085859",
  "parents": [
    "d4799eaf3a742cf316c42cacdf70bd340b4dc4b8"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 26 11:48:46 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 26 11:48:46 2022 +0200"
  },
  "message": "feat: `dbgStackTrace`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b4252d17feccea3376e6a087ae4b3c88424ced7d",
      "old_mode": 33188,
      "old_path": "src/Init/Util.lean",
      "new_id": "df7bbee40f365e70ba9403465a92d860ff59d750",
      "new_mode": 33188,
      "new_path": "src/Init/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "2964fa101f9c829fe32c13ae170a97c277a79013",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "1bf407bcda75cf7632e8ec380c84703ba9463f22",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}