)]}'
{
  "commit": "993f5f14936b3a0b3ad73da9b837f9ec68571368",
  "tree": "f710a80b3405486552743dc41d8cb22e9d3f01df",
  "parents": [
    "e2fec98e839ec0badcfbbeac4f62194b532fe399"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 10 15:49:37 2023 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 10 15:49:37 2023 +0100"
  },
  "message": "fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "51f1c62797a3633dccaef21b1d2a1f3d8e8fe61d",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashMap.lean",
      "new_id": "4b2dfab2deaf51db5e7e492611ed1a863ca05241",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashMap.lean"
    }
  ]
}