)]}'
{
  "commit": "5a7f2c99de4dddb8f7052de8dff9dcdf466f7ef3",
  "tree": "96886a274a920c839fa5c59656ba3b88529f927b",
  "parents": [
    "9b794befe056615f2f60b912bfd071f347869bad"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 22 07:06:50 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 22 07:06:50 2025 +0200"
  },
  "message": "feat: `grind +lax` ignores bad parameters\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "681ca0a6eea7befd74c01394219e706fea80213e",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "5cdd8049157ae34da3f3e584900a3b3d2e27c766",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "ed3d57cef9c72f38639c7ed163aca68667d11b3f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Main.lean",
      "new_id": "04857c1041f782df8aaac239d650cb4b9ebca833",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Main.lean"
    }
  ]
}