)]}'
{
  "commit": "9bb75adddc1723af7364e65c800f8a399e468a78",
  "tree": "a0ad372f234b4647c49b4f98c25224f6d20c86ce",
  "parents": [
    "19579524f3c421ab3a03c972cc5a6e9217b886e0",
    "bac4efae05625e3eb36ef836a131997ac490c75f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 03 02:32:10 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 03 02:39:11 2026 +0000"
  },
  "message": "Merge remote-tracking branch \u0027origin/master\u0027 into kim-sym-semifield\n\n# Conflicts:\n#\tsrc/Lean/Meta/Sym/Arith/Norm.lean\n",
  "tree_diff": []
}