)]}'
{
  "commit": "879c93f232da915810fcc059b2cd8f37a0a7ab5c",
  "tree": "a341be334695b882cf51ee53144286b2003c5c0c",
  "parents": [
    "cdaa827b2aaa3467ed14b15a781795777fb8a4d6"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 25 19:35:33 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 25 19:35:33 2025 -0700"
  },
  "message": "chore: use `realizeGlobalConstNoOverloadWithInfo`\n\ncloses #10427\ncloses #10426\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d6e009f27ea45f679cfda871ecac916352ae3836",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Main.lean",
      "new_id": "4d822264d638f804f4009dd1132a21f41129674b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Main.lean"
    }
  ]
}