)]}'
{
  "commit": "984de421abf59960337cd676950c7d9c3d6771ca",
  "tree": "1ca16a0a12f5f662410f5b3601632dcedb6fb992",
  "parents": [
    "f91a4312c6b1d7a9cc8e5425df16a4fa860bb614"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 07 16:25:23 2023 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 14 16:33:42 2023 +0100"
  },
  "message": "perf: leak environments not freed before process exit\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b6b7e783253dcea081feb00da71515ed988b14d5",
      "old_mode": 33188,
      "old_path": "src/Init/Util.lean",
      "new_id": "941a5f33d030ce78792f72e52e6693beaf703fcd",
      "new_mode": 33188,
      "new_path": "src/Init/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "080687cae980970ee19ebde3093170217358d929",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "1541952ce0aa713a231eed84cdad76580a27c256",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "2be41ac7f39611c27a4772323b3c568654de3c96",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Import.lean",
      "new_id": "3f031cd5b1c7fb6d7d92c316cef2ddcf079a6131",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Import.lean"
    },
    {
      "type": "modify",
      "old_id": "c81573aa63253ed10887d6566f94068d305d411f",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "3330125a18fcbb0bc014ef5f7d6749b3dc039a0e",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "b7e7910b04ef354959ac4cd6d3affb3b57077259",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "0c53463c0761f515cee0732e87b87fb6803e208c",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    }
  ]
}