)]}'
{
  "commit": "8177289371125ed81c87ffd1280a8ab0d8e1082e",
  "tree": "2b242e79bb4f3ccdd1777a522bffdac7f3fc98a8",
  "parents": [
    "2d30a4491653db831a7380d10d82194464a5de82"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 02 16:45:55 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 02 16:47:33 2025 -0800"
  },
  "message": "feat: `dite` propagator for `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d76e243ecf8dd73530687265c570eaeb4bf30a8a",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Lemmas.lean",
      "new_id": "e89e66b8725b79d4dea6bd1b5f116b3fa40f34a0",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "7ce8f2b79e8cdcdc1bf7d8304d5af6956590eb19",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean",
      "new_id": "14a3a786ef849363b01cd9e2d5e52c1bec3f862e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean"
    },
    {
      "type": "modify",
      "old_id": "64a495cd1bcecdefd1acfac95a676440c446d2e1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_t1.lean",
      "new_id": "168bdc895fffa210fe39eb2a31345614bd371711",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_t1.lean"
    }
  ]
}