)]}'
{
  "commit": "468096912bad91968577453b7f75c20a0b5a3025",
  "tree": "394648d7aa0528038ec2673e52e032fc73eddf68",
  "parents": [
    "da19ea085d7cdba0131ec59b4f678b0910304878"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 10 14:02:11 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 10 07:14:54 2026 -0700"
  },
  "message": "perf: avoid unnecessary `modifyEnv`\n\nThis PR implements a minor optimization at `withExporting/withoutExporting`.\nWhen they call `modifyEnv` to toggle `Environment.isExporting`, and\n`MonadEnv` `MetaM`\u0027s `modifyEnv` wipes all `Core` and `Meta` caches.\n\nchore: use `old`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "60e67e92e57c896cf18dc17eee18548a625c0cd5",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "33928512dadcfa2e42a307499e9228596da0341a",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    }
  ]
}