)]}'
{
  "commit": "e62606f90d93cdc5d1f53e9e154ce99f1f607f0b",
  "tree": "145af5e0930d5a238038d20ce8ab96c6c482a2b4",
  "parents": [
    "8d26a9e8b57c0079ac46268c1d5a606f9b964f14"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 08:07:54 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 08:07:54 2025 -0700"
  },
  "message": "chore: remove workaround\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d177b2433ec990401ab644c9a2b560cb11f82563",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/AC.lean",
      "new_id": "77e62e6aab46f957143fe792b1d9fda9afcda551",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/AC.lean"
    }
  ]
}