)]}'
{
  "commit": "54f7fb91f5812fd494dc75145409f2ce1b603fd1",
  "tree": "efff507561e1f7ecc0eb544e74b0c0d9f5947afd",
  "parents": [
    "4de32d2bcd81162effa3403893fa39db24a86316",
    "9cf83706e743debb47f3b1a48e1b92210c1c0720"
  ],
  "author": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Thu Nov 21 11:57:36 2024 +0100"
  },
  "committer": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Thu Nov 21 11:57:36 2024 +0100"
  },
  "message": "Merge branch \u0027master\u0027 of github.com:leanprover/lean4 into joachim/kernel-comments2\n",
  "tree_diff": []
}