)]}'
{
  "commit": "2534f33c567e80ceca23422660d4e08d3b4831c7",
  "tree": "e8a3560287ac2b40c3e24485b210335f5c1952c1",
  "parents": [
    "ce73bbe277140201cdb3ad3015c13d01948704b2"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jul 12 15:22:37 2024 +0300"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jul 31 11:32:24 2024 +0200"
  },
  "message": "refactor: split out Lean.Language.Lean.Types\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "355d45545bcb9665a418c1e441486a0e15913ff1",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Lean.lean",
      "new_id": "7ae72aa6de4bec41a8cbe15ac56a0ee53645454c",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7c1ec9d984dd3354b058b489143b3d8b4ed02637",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "4bcc4373d2018ccea2d66d88e8b9451e0ca0732b",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "e5abe9395b8a0c037bc9ed8f0bdfbb69f64662c7",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    },
    {
      "type": "modify",
      "old_id": "241df0501f0e2249acbdb7e3d2f2fb620ea9a228",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/Utils.lean",
      "new_id": "8a85c1e7ee8cb1bfcb2e06c3f409899f921dfcc8",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/Utils.lean"
    },
    {
      "type": "modify",
      "old_id": "b02337465079837e671247abd5e957d18bd2dc46",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Snapshots.lean",
      "new_id": "aafb68f304eccbb3fcf4efa15c16ecabcec5faec",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Snapshots.lean"
    }
  ]
}