)]}'
{
  "commit": "567fae227a65a6e330a1cffb58c5d929ffde24f2",
  "tree": "5a0888ca00d65c96f2329bf58c48a38e4748863e",
  "parents": [
    "771743b89790843c8c86876067c78a64fba8b88f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 25 12:05:33 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 25 12:05:33 2025 -0800"
  },
  "message": "test: and fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ae5b251486b1b6908b8eecf84109a0271f98dd5d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/LooseBVarsS.lean",
      "new_id": "87f725f2ff24707f34d1b77b1f309790e60ec147",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/LooseBVarsS.lean"
    },
    {
      "type": "modify",
      "old_id": "83473aaa3b4ca471421310b26a3f969f53f84c61",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/ReplaceS.lean",
      "new_id": "6d8278aea1e55d78e5a0faa02680776b64093f5d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/ReplaceS.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c12ff220ea79ff9c6f9dd9e11a45d0380eb2e9a9",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sym_liftLower.lean"
    }
  ]
}