)]}'
{
  "commit": "b004f4b98b6e10fd7cd641d091659bd28c1d0eea",
  "tree": "67465390d8e80fbc60cd6bfee9da9aa39166c359",
  "parents": [
    "445c8f2ee02ec75cdd8b2811bd56f4fb16adb655"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 17 16:50:57 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 17 16:50:57 2024 +1000"
  },
  "message": "feat HashSet.partition (unverified)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "472c73f7035bdb5c41e7669a29ee711b1d740bf7",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Basic.lean",
      "new_id": "42daaa7743c8001f942582884371fa78305abcdb",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "973889e797ff03cae0b1888d8f418ac798b8c10b",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashMap/Basic.lean",
      "new_id": "f68cc9520b39a721699f95cca6792476ef973abe",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashMap/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a065598981afb3cb0bb863c5be41c1c4c2a7bca7",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashSet/Basic.lean",
      "new_id": "4c2ee8fcf610c7bd85e48f988ed9d2ceb6c69f26",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashSet/Basic.lean"
    }
  ]
}