)]}'
{
  "commit": "bb2954d8d73040f4d185b9b6b80ec1bc5d965990",
  "tree": "2ef513eac951691176da6307d9592ef6a2a7e67c",
  "parents": [
    "07f39d40dc5f78ce394391d23a32609cf51e65bc"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Mon Sep 15 20:41:23 2025 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Wed Sep 24 00:02:41 2025 -0300"
  },
  "message": "fix: remove async from notify and test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fe76aac125b9eba45e54d7c3130c0fa607f4eb5a",
      "old_mode": 33188,
      "old_path": "src/Std/Sync/Notify.lean",
      "new_id": "9945c81bffecc1adee12fc76546d4097c68f5105",
      "new_mode": 33188,
      "new_path": "src/Std/Sync/Notify.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0f091c3e52709bd566b42309255f0b1520382eac",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sync_notify.lean"
    }
  ]
}