)]}'
{
  "commit": "9c9c073b3bc1659a8a09fe3b382e72eadfe0808e",
  "tree": "9fbb57e224910d11965138c3c865c039d0f72df4",
  "parents": [
    "f63616891fd3c9888ec1844f0744985bcb631a1e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 15 14:56:41 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 15 16:34:03 2024 -0700"
  },
  "message": "fix: cleanup type annotations in congruence theorems\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "498e2f9bf9437705a56bf204082eeea66ece5f33",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CongrTheorems.lean",
      "new_id": "ddc2a64e1b8d70dd7935e9a38ac371955191a2bd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CongrTheorems.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c0b3410a9ce6a3ad731368276f81189fa9fece61",
      "new_mode": 33188,
      "new_path": "tests/lean/run/congrThm2.lean"
    }
  ]
}