)]}'
{
  "commit": "9048e04c40e506c27dedd63238211a5fbd9979e2",
  "tree": "b26bba73058999eca4e17b4a5bd1ff84419fbfd1",
  "parents": [
    "befe403b2bd037f50cafe45764822418b0235471"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Fri Mar 15 00:00:20 2024 -0700"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Fri Mar 15 17:50:46 2024 -0700"
  },
  "message": "feat: additional collection operations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "751c7553736c1540a23183a1407812018c797b7b",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/AssocList.lean",
      "new_id": "9861e968ff419b345c8b7c879718c3e9edbcb638",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/AssocList.lean"
    },
    {
      "type": "modify",
      "old_id": "fb4219abdc8a3d7640298c10253266cb428c6d62",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashMap.lean",
      "new_id": "1c7a732137166e49f5010b3177f88acc098fb4d2",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashMap.lean"
    },
    {
      "type": "modify",
      "old_id": "84cc3a68286a3886e189daa5f2acd22e8744a022",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/NameMap.lean",
      "new_id": "da577084f33704144899ec2feebbb4781c3aa7bc",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/NameMap.lean"
    },
    {
      "type": "modify",
      "old_id": "33396e47bfd0f11928c1c3eb68e809b0d2bfec8a",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PrefixTree.lean",
      "new_id": "6ec6686592d8ebf1955d6d9e25e970ba3bf44d20",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PrefixTree.lean"
    },
    {
      "type": "modify",
      "old_id": "95cdd329dcf9beff92390054b4a5eaaa5ab12c45",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBMap.lean",
      "new_id": "4d7b82af6c3ed92a9f0834ba9ecd4248228cfdb0",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBMap.lean"
    },
    {
      "type": "modify",
      "old_id": "a2fde26f33b816456c590ba0805133365c46cd32",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBTree.lean",
      "new_id": "da7ac9871a309ec1ccdf2321bc801cd694246b72",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBTree.lean"
    },
    {
      "type": "modify",
      "old_id": "ba98f1029aa6e2ca56b423be1ccd0b67a93044e5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Canonicalizer.lean",
      "new_id": "918c9962623b1c183285d11adc4c361d8387f076",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Canonicalizer.lean"
    },
    {
      "type": "modify",
      "old_id": "371026016b20a749361e2b6ea905a42d5d8bcee7",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/HasConstCache.lean",
      "new_id": "16c95fae79baf4e1cc483a0a97e37d154a7c79c5",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/HasConstCache.lean"
    }
  ]
}