)]}'
{
  "commit": "defd398febb5613109badd3940202794474be9f2",
  "tree": "98485d9685683ebe8ebaa1d2708a8d0ccd83b510",
  "parents": [
    "3e16f5332faba0844efb1524222df026095bff14"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jan 20 16:53:22 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jan 21 05:48:36 2026 -0800"
  },
  "message": "fix: preprocessLCtx\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "599cc5c0c8698a742070add94588cd3a0f78da59",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/Util.lean",
      "new_id": "4a4b07aa03edadcd3b48a719532d97050f7874f7",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/Util.lean"
    }
  ]
}