)]}'
{
  "commit": "43a492aeed5b048af945f09fbbf9a3c441afad0a",
  "tree": "b92a18126797e1cfae86c95fe88425f3670a67d8",
  "parents": [
    "a0914e68ed23b5e52f9579c6d431181b91f7b14b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 08:43:17 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 08:43:17 2024 +1100"
  },
  "message": "deprecation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a18eb53c2cdcb778f2c678642698d3f5e2210595",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/WF.lean",
      "new_id": "d0c9b83a055036124613746a2613f218a77b8750",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/WF.lean"
    }
  ]
}