)]}'
{
  "commit": "8c2d13fcbd2e496c9e6aa3135bb9f907da28b236",
  "tree": "3c8b4fab09a0ddab69bfa601627106fae0d45ead",
  "parents": [
    "cfa4752c4ec89231067f1d701c38bb5d9d1a7ff3",
    "d6cb2432c6cfb847cdb1921fdbb98bc698835ec4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Aug 05 17:33:52 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Aug 05 17:33:52 2024 +0200"
  },
  "message": "Merge branch \u0027master\u0027 of https://github.com/leanprover/lean4 into het-snaps-cmdline\n",
  "tree_diff": []
}