)]}'
{
  "commit": "108bf119048d4159a9561b469d660c5d7dc64c40",
  "tree": "3fe7ce47656decf55f95b80e31068049ba3ffe05",
  "parents": [
    "092449adb8488a8fcbbebf9fdfcec38deef1eb81"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 02 07:42:22 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 02 07:42:43 2025 -0800"
  },
  "message": "fix: missing case in `checkParents`\n\nThis PR fixes a bug in the sanity checkers for the `grind` tactic.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4f49167a3f143990289e6e40cd340ab500ca1b02",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "b0e77d7a3069f83a8d7d2a9b33bb10e8e64b4ac0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "08d2238d17c82e091feae3575d2f69125b6554d9",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ematch2.lean"
    }
  ]
}