)]}'
{
  "commit": "4e28f0fbde320f24312fa691d87d3bb3834b1a56",
  "tree": "3c20a15ac545b2e86d14af2bd56fd1df9d4e3500",
  "parents": [
    "d8b01c7c1bb24f90d53551f998b730f2d2d04784"
  ],
  "author": {
    "name": "Ralf Jung",
    "email": "post@ralfj.de",
    "time": "Wed Nov 12 08:22:58 2025 +0100"
  },
  "committer": {
    "name": "Ralf Jung",
    "email": "post@ralfj.de",
    "time": "Wed Nov 12 08:22:58 2025 +0100"
  },
  "message": "try to be more robust against short hickups in the Ubuntu Ports mirrors\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "27d2f4a6df3046d305a80b747b76bc4db7f88eac",
      "old_mode": 33188,
      "old_path": "src/tools/miri/.github/workflows/ci.yml",
      "new_id": "a61a467ebce1cf3105e269987b96d3576a0d0d13",
      "new_mode": 33188,
      "new_path": "src/tools/miri/.github/workflows/ci.yml"
    }
  ]
}