)]}'
{
  "commit": "c12204144c034903a67d5e0e6e0805b577ad451e",
  "tree": "d95986125cee0b19e95b0625a8bddca71989e3a3",
  "parents": [
    "3fa93531e451c561f13b9a5af22ca1815ec50383"
  ],
  "author": {
    "name": "Mario Carneiro",
    "email": "di.gama@gmail.com",
    "time": "Tue Apr 23 23:33:50 2024 -0400"
  },
  "committer": {
    "name": "Mario Carneiro",
    "email": "di.gama@gmail.com",
    "time": "Tue Apr 23 23:33:50 2024 -0400"
  },
  "message": "double lookup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e3942e61de3fac88a4ac52988ba4eb8ab0d25078",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PersistentHashMap.lean",
      "new_id": "98d27f693303de0d531c48c66448c5195963082d",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PersistentHashMap.lean"
    }
  ]
}