)]}'
{
  "commit": "1552aa0130ca8ef9b54eb2d4bd70356ccf3b7101",
  "tree": "530dee0fa1da03252edc6785beefb79f1432929b",
  "parents": [
    "9b7d1815352f5467fd74b4749e20465ae00a425e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 06 15:54:05 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 06 15:54:05 2024 +0100"
  },
  "message": "feat: auto-import `Base`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3f031cd5b1c7fb6d7d92c316cef2ddcf079a6131",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Import.lean",
      "new_id": "fc43040e72b1585ff285b2868e5da837762104fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Import.lean"
    },
    {
      "type": "modify",
      "old_id": "bcb5d83427a078e9896593d89cdf541b55257bbb",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/ParseImportsFast.lean",
      "new_id": "bc7916e08718de9454c7321d48c44abe299ac417",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/ParseImportsFast.lean"
    },
    {
      "type": "modify",
      "old_id": "3330125a18fcbb0bc014ef5f7d6749b3dc039a0e",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "e5d09535056be62c9f792441d2e9847d0f77169a",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    }
  ]
}