)]}'
{
  "commit": "503036f964569e8164716e00bb63d29c141a8f2f",
  "tree": "3c2c969e9530afb9975f1db93756d4f31c94c957",
  "parents": [
    "6b96f8767424c67ad81191cbbb652a9c25061386",
    "6569c90451dd92d9fd64a4395814af949c0c0f16"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Fri Feb 13 10:51:57 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Fri Feb 13 10:51:57 2026"
  },
  "message": "Merge branch \u0027main\u0027 into semantics\n",
  "tree_diff": []
}