)]}'
{
  "commit": "433a123ce34a6976401166ae7bf972c18537a945",
  "tree": "ba4ee55592abf97cb08090077e8480af94b55a7b",
  "parents": [
    "a5ccdf5f80396b6ae4611bf35a62a6372468dd5e",
    "902226642f27c6dc1aba645c5d2f06df574abf9a"
  ],
  "author": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Sat Dec 13 06:53:21 2025 +0000"
  },
  "committer": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Sat Dec 13 06:53:21 2025 +0000"
  },
  "message": "Merge branch \u0027master\u0027 of https://github.com/leanprover/lean4 into joachim/grind-docstring\n",
  "tree_diff": []
}