)]}'
{
  "commit": "e0f2a68c60ec87ad191cb4ae7c783e6ccfadde1c",
  "tree": "445709064187eb621cfd890246fcaae7bd10b85e",
  "parents": [
    "ad593b36d9eeac954a6b1810385d3707bada87a7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jan 04 13:59:44 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jan 04 13:59:44 2025 +1100"
  },
  "message": "chore: cleanup imports in Lean.Lsp\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "441d4e82fc03c636e8aa51495a76ba9ded249b85",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp.lean",
      "new_id": "8d3c7daf260f1d0ae8b965cd6d59a6aa2406f25d",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp.lean"
    },
    {
      "type": "modify",
      "old_id": "55fb5dd8ab8522597cffca7e6af1e8ea40caa059",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp/Basic.lean",
      "new_id": "a9aaa93c1e6075e0eb0e6bb4be7c0d88ae457ddf",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "84e95838b41ddbe3bc954c2ec2002e44c5c01728",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/CancelParams.lean"
    }
  ]
}