)]}'
{
  "commit": "7b2159c83868104d7ea2595d11b2c367d3ca4b0a",
  "tree": "9eb913ace24b0bf563021057c85680d45778d06a",
  "parents": [
    "f5c51ce48c73b1ac28d28cc83b3da22410d8035e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 04 18:53:13 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 04 19:00:31 2021 +0200"
  },
  "message": "perf: enforce hash map load factor\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4736872daf546df5047e51df035bef513d9c4d15",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "bd5fbee9949ba5df0b8766370b87b95f94362d3b",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "7cf5b079a14ec510732f627dfaef16804d0fc7c6",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashMap.lean",
      "new_id": "22ab2b4d300adc31ceccadb00dbb8cfe436c7698",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashMap.lean"
    }
  ]
}