)]}'
{
  "commit": "0fef8286915a8060c97ab06972730ed055ce159d",
  "tree": "cb1a2c9e94b5b628648fe12e048fe14c31762036",
  "parents": [
    "1059307b8f81b6c1a09791b55b5d147c1ee97525"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 28 11:36:09 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 28 11:36:09 2024 -0800"
  },
  "message": "feat: check `cgRoot` at `Inv.lean`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a8da89f3284691eaf1d7c383cf56c1f720a6a505",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "68a8f1bdf9c8a1dfb503179529ccd5cdd247891e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    }
  ]
}