)]}'
{
  "commit": "610dedb28a22eb6047dbac0a2729cadd59967cc1",
  "tree": "211614b2cfce99b19af70ac23f6a1fc3949b4f64",
  "parents": [
    "201749ccacbb91120b0044e78166f2486ff4a0f4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 21:33:48 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 21:33:48 2024 -0700"
  },
  "message": "perf: `Expr.replace`\n\nuse the kernel implementation.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "deca88cc73abe8d07c8a0344668c812417c983ad",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/ReplaceExpr.lean",
      "new_id": "e28eb79cdbbf3ee3bb286fb501c6bfd8a7455413",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/ReplaceExpr.lean"
    }
  ]
}