)]}'
{
  "commit": "4ad71a31ec5bfc58ff267762df7329d580ca4339",
  "tree": "b6572d7408618960031de6cc716e138e459a9eeb",
  "parents": [
    "167771923e632b01742e65efc66123efe1a9c034"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 18 16:24:24 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 18 16:25:30 2024 -0700"
  },
  "message": "chore: cleanup\n\ncloses #4287\ncloses #4288\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "faab0d139e113766c9c29f96a34826c0c1ea6962",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "43be55f70112479c3f1da37f67e68f834c7e6140",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "bae085dae9d869eedcdd4b7386805ad752243805",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "629578ce5fe067227a89724a734a255ef9ab7f70",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    }
  ]
}