)]}'
{
  "commit": "439d4e5c70caa37a6de9ef52d30c61ea7a7a4b40",
  "tree": "95aedae6626fd9efe96cbaf8cf9b9a413b0dc3e9",
  "parents": [
    "756f837f82be39939899af26048e39204f7edf77"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 09 08:45:35 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Aug 09 08:45:35 2025 -0700"
  },
  "message": "chore: remove leftover\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0886ffd0de04b338cabdc3f26d098671001bd466",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CongrTheorems.lean",
      "new_id": "d6dc8f5d22b5a0fdfe795c9b7da991bcccf309ee",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CongrTheorems.lean"
    }
  ]
}