)]}'
{
  "commit": "b918bd145c2ff7af91364e97e852c3e8df2fe38c",
  "tree": "d11cb6141d94efa0c385c6ea629fe90b21d171ef",
  "parents": [
    "09ddc75f29e39c6ade8348a20ba3ad05d4f8e1bd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 17 12:49:57 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jul 17 12:49:57 2024 -0700"
  },
  "message": "feat: add `isExclusiveUnsafe`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0cdb92fecb8783391dfa9f9284e0298f278781d4",
      "old_mode": 33188,
      "old_path": "src/Init/Util.lean",
      "new_id": "974eed11f2d037f2cc965cd78d5f709424cd2949",
      "new_mode": 33188,
      "new_path": "src/Init/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "45dd5ae61c929cde05e3b33347b6aa7a7f653a51",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "e2f704a80d4915e1c7716c7269111a5cf965ad3a",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    }
  ]
}