)]}'
{
  "commit": "488c2c409ef20c3fb77cea86abccf9664841f8e3",
  "tree": "fae6e14961d8d3b423055e3efd42666dc2ca8af5",
  "parents": [
    "8a6b9c5e4f334a62b467bcfecbc79cebb9848eac"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Jan 26 17:08:19 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Jan 26 17:08:19 2025 -0800"
  },
  "message": "chore: `grind?` skeleton\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "99f655ce33eb4659b4fc440a049b9f2280e0f3ec",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "fa1ce1d6de6d8d4bb0aa8749c907f56683df12fa",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    }
  ]
}