)]}'
{
  "commit": "2ca5c4ae23336bc03751113f58772e4e7837b43d",
  "tree": "0bfb834ed802e6382ffe6e4858f9b9e1b2c370d3",
  "parents": [
    "35d9307df30c1cbd2ab1103e083c21dd70dbd191"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 08 08:14:18 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 08 08:14:18 2024 -0700"
  },
  "message": "chore: remove dead function\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ca6cfd5b26c0e8e4bdeedd90315485fba7adffcb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "6a82fe7c576778699a102c57f2b5a5aae7f164e5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    }
  ]
}