)]}'
{
  "commit": "bed9a24b6bda01b5d212b764fdaec9e1337f06db",
  "tree": "c66a9222a2e228ce127474450338a80bfedad222",
  "parents": [
    "da2f8c29924adab5e56df8f1d4724850d8f9fb73"
  ],
  "author": {
    "name": "Marc Huisinga",
    "email": "mhuisi@protonmail.com",
    "time": "Mon Sep 22 10:30:07 2025 +0200"
  },
  "committer": {
    "name": "Marc Huisinga",
    "email": "mhuisi@protonmail.com",
    "time": "Mon Sep 22 10:30:07 2025 +0200"
  },
  "message": "chore: adjust name and signature of `rangeOfStx?`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1ea3d8da532fb77248aeea1d27948cde45be8f57",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp/Utf16.lean",
      "new_id": "f04079b54cfe89d07eeffdb922e9e1002f29e940",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/Utf16.lean"
    }
  ]
}