)]}'
{
  "commit": "03930cef09e6104f166f134e1225aa286e627055",
  "tree": "87073f25294932d5143193b857ab34c43c6a6cd4",
  "parents": [
    "9fc18b8ab462cb9100d37a23814ebbac330e8577"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 22 13:12:50 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 22 13:13:34 2025 +0200"
  },
  "message": "chore: add limited public API for builtinRpcProcedures\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8664f6651c2037fcdf2a39b4779e63a86f8594c9",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Rpc/RequestHandling.lean",
      "new_id": "fd08356b2020a3764293be32f0a2a8389ca26868",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Rpc/RequestHandling.lean"
    }
  ]
}