)]}'
{
  "commit": "29e37332cd13dfbbd45bf7d0e15dd21937a7a79a",
  "tree": "6181bb9f8c5e44a8515f35ff91135033602d206c",
  "parents": [
    "959e4f7478bbee3e946fe771b3843597cf539f7b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 02 12:19:09 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 02 12:19:09 2024 +1000"
  },
  "message": "fix and tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ab54b0c131e3fd273c6e4da6f4d8c66c5674a936",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/RequestHandling.lean",
      "new_id": "493315eb4d0d3cbae27796e792411e1a3b65df73",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "b0853b1addbe4a53f190206d3e2a5e79f3910485",
      "old_mode": 33188,
      "old_path": "tests/lean/run/hashmap.lean",
      "new_id": "d9a3ace7ad94999de209d16b123caf4ecff991c6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/hashmap.lean"
    }
  ]
}