)]}'
{
  "commit": "663c892337c924a8f112d7791eb87fc482e06ec3",
  "tree": "3d4c5309c28848ce25ef71ee77a7a5783d3cf347",
  "parents": [
    "6729de0133f97fc84a615f89540e49fcd7938be3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Aug 19 17:02:52 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Aug 20 13:11:41 2024 +0200"
  },
  "message": "asyncenv\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d7f750c0a21cdd16629173fa97bbe72b349e9a85",
      "new_mode": 33188,
      "new_path": "src/Lean/AsyncEnvironment.lean"
    },
    {
      "type": "modify",
      "old_id": "b7eb708e35665e40ea0d120ca6f4ef11c6436135",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/ExternAttr.lean",
      "new_id": "0b91f6c937edabbeff74b74cd0a6e95719196cfe",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/ExternAttr.lean"
    },
    {
      "type": "modify",
      "old_id": "3ca76cd056301fb58d9bbe6334821bce0097c650",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "5b22c614a8822a398ab68f357255b5f7e5d080e2",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "84f893dcc352593efedd11520946f32d75ace814",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "e391b3a69295de02ca44a25b8653dfb61e9c2138",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "813ffa3185ce293a9e852c682cdb7debdff6aad2",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree/Main.lean",
      "new_id": "a2d266da8f3dd4e1208bcc5512a430b475a8e4e3",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "e2fa0e70d7160981d0c8bfcfb5c2da3fc7150af7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree/Types.lean",
      "new_id": "fb02f2bc43128fb137cfc1e99b280b7f10ea2ac8",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "ea14af6e709d460a6579f2940464efbbe3b5d0d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "aca8b4ca08bdf57d4b140c16430c69e431c4d5e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "18074c980629196e44d8bf18b91d60ba139dcc6d",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "57d4a40d45d7d981b1fbe0cf94240a6d87e757f9",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "51d55d992987c98766ae83404a9e9166165301b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "38474b670ce159e33790903e39b72098046ed047",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "440c449d87c33b6ef2156a022e7f5fdc11e2274f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/LazyDiscrTree.lean",
      "new_id": "81469ec91cb8a1eccb2441843e0203d864bb49ba",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/LazyDiscrTree.lean"
    },
    {
      "type": "modify",
      "old_id": "9307112eeb285ac46efb405c5ea49a597e0fe04e",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter.lean",
      "new_id": "72856541b4984972b679a62054dc7d708f20d73b",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter.lean"
    },
    {
      "type": "modify",
      "old_id": "3cb8a93bc3694af2b76e91a4638f42870db507de",
      "old_mode": 33188,
      "old_path": "src/Lean/Replay.lean",
      "new_id": "9ddcccbf380d951018261cce19add11f5eb3aa9f",
      "new_mode": 33188,
      "new_path": "src/Lean/Replay.lean"
    }
  ]
}