)]}'
{
  "commit": "2513be6a0908dc9966bb737de71aae1aa7ecccc6",
  "tree": "10e973bee3629b669eacc22da55c73a3489e4bc8",
  "parents": [
    "c25d2066471c7726b64d7f3eea8b5cce9910f33d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 17 16:42:31 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 17 16:42:31 2024 +1000"
  },
  "message": "feat: HashSet.ofArray (unverified)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "472c73f7035bdb5c41e7669a29ee711b1d740bf7",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Basic.lean",
      "new_id": "82209830f4eca2c223f7fdfb6ca262345db361d7",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "9d0d96b90524d5c7cb682d6b2f6da177ed950191",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Raw.lean",
      "new_id": "cf604f0910305422dc6c094820e1d359fa753c0a",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Raw.lean"
    },
    {
      "type": "modify",
      "old_id": "973889e797ff03cae0b1888d8f418ac798b8c10b",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashMap/Basic.lean",
      "new_id": "558da0ddbe4bedac816a744810327d8c6cfd4982",
      "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": "e5f9dd3b6fd8ab21e89c6f4f32cf6f575b5b0728",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashSet/Basic.lean"
    }
  ]
}