)]}'
{
  "commit": "bc07b996fb8718156ce9f5d106343def97caada4",
  "tree": "87cf5b835832f1c7d847d9c64ceafb1ce6642aa0",
  "parents": [
    "82f1c7efcbc0884d458619353f683e23beadfafc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Oct 27 00:28:51 2025 -0400"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Oct 27 00:30:08 2025 -0400"
  },
  "message": "feat: allow `set_option` to set `grind` config options\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "41bc6613a698f312cfa19c16b75f23e2ce979e53",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/BuiltinTactic.lean",
      "new_id": "8dd3a4181857a0ce6ab767e717d64a94a1d15ed7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/BuiltinTactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8df3acc450c11db831dfbe894460953671a5cd08",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_set_config.lean"
    }
  ]
}