)]}'
{
  "commit": "e7cc454161017598c7bf5d472401de54ae90765e",
  "tree": "550c67a9c8344dee661b36001921f79df070d978",
  "parents": [
    "3a6ebd88bb1d3cc181d0939b52b03a9c79041d4c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Feb 13 07:23:20 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Feb 13 07:23:20 2024 -0800"
  },
  "message": "fix: `#eval` command was leaking auxiliary declarations into the environment\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4d7271f580921592e4a8329f9fd231a02e49b52e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "56aad0b878976b0b6b33d0c2955cb249ba06f06a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "301032165a4aa74a583185686298fea61725f742",
      "new_mode": 33188,
      "new_path": "tests/lean/evalLeak.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "002b338eade623cc227387417e9733a860843f55",
      "new_mode": 33188,
      "new_path": "tests/lean/evalLeak.lean.expected.out"
    }
  ]
}