)]}'
{
  "commit": "991d6e5a09cc2c28069982c25e490c13678ced23",
  "tree": "bed864e343930153721f5f43e8f7f988740bbe82",
  "parents": [
    "9f57b063e630bb5056ed167b5f2fe3f91cb61bc7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 06 15:53:26 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 06 15:54:17 2022 +0200"
  },
  "message": "chore: more RBMap cleanup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "22221ec697e8bd4264b14adb1c0f9142f10bf244",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBMap.lean",
      "new_id": "6b235c260ec7ca0d86b09538d4c25b5c1c60ac53",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBMap.lean"
    },
    {
      "type": "rename",
      "old_id": "daea811fb3e93a1779e528aef1177b961b9327fe",
      "old_mode": 33188,
      "old_path": "tests/bench/rbmap.library.lean",
      "new_id": "daea811fb3e93a1779e528aef1177b961b9327fe",
      "new_mode": 33188,
      "new_path": "tests/bench/rbmap_library.lean",
      "score": 100
    },
    {
      "type": "modify",
      "old_id": "b97607c67cf2f0f231bf3e324c1b605e541f9448",
      "old_mode": 33188,
      "old_path": "tests/bench/speedcenter.exec.velcom.yaml",
      "new_id": "ece2ab9154a9c9bc93e8b7f6ff218c1952ede55a",
      "new_mode": 33188,
      "new_path": "tests/bench/speedcenter.exec.velcom.yaml"
    }
  ]
}