)]}'
{
  "commit": "8e2196bced68dd5efadbe67bb6da10dc001ea06f",
  "tree": "64efd470ed6e8444ed1477491f6da800bdd60687",
  "parents": [
    "a19f6d9db98ddec14d3609eff7daff096a71c87d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 23 16:46:45 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Sep 24 12:59:02 2022 +0200"
  },
  "message": "refactor: further simplify RBMap balancing\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "81f15cee46ec1a98cff2a648fd1f88543c97f537",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/RBMap.lean",
      "new_id": "be2543c4fa85b1a5c12243b8c926c55113e3b1c3",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/RBMap.lean"
    }
  ]
}