)]}'
{
  "commit": "95d72b3bbe2686a0567019fb624b192411e24297",
  "tree": "66be654f26ac83f1d00c3e8dce693e9f266b6ad5",
  "parents": [
    "1315266dd3faeaf28d1263668cb88f2f3f5e530c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 13 16:48:30 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 13 16:48:30 2024 +1100"
  },
  "message": "chore: upstream some NameMap functions\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6593e748bc2297737a69ff833ba6aef214f689fe",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/NameMap.lean",
      "new_id": "04cd225102cab5c46eae7ca5e9c6b6ba909d5b7d",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/NameMap.lean"
    },
    {
      "type": "modify",
      "old_id": "4172b70000fef7cf954eb91418636bfdccf82b67",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBMap.lean",
      "new_id": "2ac041f43c7577729ff98315d59a9b9c4e93bb6d",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBMap.lean"
    },
    {
      "type": "modify",
      "old_id": "f749d80f8ff484aee59be6e5b48f184f7bd19884",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBTree.lean",
      "new_id": "4265bb1ace6d603f81521b0885d36ca97e9bc6de",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBTree.lean"
    }
  ]
}