)]}'
{
  "commit": "a121102003a70df2ef3485db860dbdce49031b1e",
  "tree": "3d63015c23702d014e8f7c0edbe9a415a06178eb",
  "parents": [
    "b9bad1ef735c0a7482e867d0b5aa4be7c1d6d5ce",
    "68a81c42fafa6016168062b740bac4a589d6f36c"
  ],
  "author": {
    "name": "Ralf Jung",
    "email": "post@ralfj.de",
    "time": "Sat Nov 29 12:45:50 2025 +0000"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Sat Nov 29 12:45:50 2025 +0000"
  },
  "message": "Merge pull request #4733 from michaliskok/genmc-bug-fixes\n\ngenmc: Bug fixes\n",
  "tree_diff": []
}