)]}'
{
  "commit": "2694957e1fcb98c249372c76cc9cde98914b6363",
  "tree": "f3a15524d426b2dc42f0a4b3ad5d495abb29c073",
  "parents": [
    "3d8bf9361fd3d4380ba582c918d4aedc47085af0"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 21 19:25:33 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 21 19:25:33 2025 -0700"
  },
  "message": "fix: `Expr.denote`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2f4673add3c8b1e12ab3216d2be954da7915cddc",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/CommRing/Poly.lean",
      "new_id": "b9e74b1cd22f772f56c885307d13ee8270acd601",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/CommRing/Poly.lean"
    }
  ]
}